Merge branch 'stable' of ssh://vcs.fsf.org/libreplanet-static into stable
authorZoe <zoe@fsf.org>
Fri, 21 Feb 2020 01:09:06 +0000 (20:09 -0500)
committerZoe <zoe@fsf.org>
Fri, 21 Feb 2020 01:09:06 +0000 (20:09 -0500)

Trivial merge