[gnome-devel-docs] Created tag 3.12.2

[David King <davidk src gnome org>]

The signed tag '3.12.2' was created.

Tagger: David King <amigadave amigadave com>
Date: Mon May 12 21:23:17 2014 +0100

    Version 3.12.2

Changes since the last tag '3.12.1':

Allan Day (1):
      Left align the grid

Daniel Mustieles (1):
      Updated Spanish translation

David King (1):
      Version 3.12.2

Ekaterina Gerasimova (7):
      Fix validation in platform-overview
      Fix validation in platform-demos
      Start writing a page about GNOME licensing
      Remove getting-ready page from platform-demos
      Change platform overview title
      Finish page about choosing a license
      Remove old sections from index

Rafael Ferreira (1):
      Updated Brazilian Portuguese translation