Merge branch 'master' into stable
authorZak Rogoff <zak@fsf.org>
Tue, 24 Nov 2015 20:33:12 +0000 (15:33 -0500)
committerZak Rogoff <zak@fsf.org>
Tue, 24 Nov 2015 20:33:12 +0000 (15:33 -0500)

Trivial merge