Merge branch 'stable' of vcs.fsf.org:libreplanet-static into stable
authorZoe <zoe@fsf.org>
Mon, 16 Sep 2019 14:19:43 +0000 (10:19 -0400)
committerZoe <zoe@fsf.org>
Mon, 16 Sep 2019 14:19:43 +0000 (10:19 -0400)

Trivial merge