[gnome-todo] (2 commits) ...Merge branch 'new_guidelines' into 'master'

From: Georges Basile Stavracas Neto <gbsneto src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-todo] (2 commits) ...Merge branch 'new_guidelines' into 'master'
Date: Thu, 18 Jan 2018 21:03:50 +0000 (UTC)

Summary of changes:

  3dd0680... project: Rename build options
  d921f0f... Merge branch 'new_guidelines' into 'master'