[gnome-devel-docs] Created branch gnome-3-12

From: David King <davidk src gnome org>
To: commits-list gnome org
Cc: gnome-i18n gnome org, release-team gnome org, gnome-doc-list gnome org, davidk src gnome org
Subject: [gnome-devel-docs] Created branch gnome-3-12
Date: Mon, 18 Aug 2014 17:14:10 +0000 (UTC)

The branch 'gnome-3-12' was created.

Summary of new commits:

  04693e2... hig: relicense to CC-BY-SA 4.0