Merge branch 'master' into stable
authorMolly de Blanc <molly@fsf.org>
Tue, 9 Jan 2018 19:18:17 +0000 (14:18 -0500)
committerMolly de Blanc <molly@fsf.org>
Tue, 9 Jan 2018 19:18:17 +0000 (14:18 -0500)

Trivial merge