Merge branch 'stable' of ssh://vcs.fsf.org/libreplanet-static into stable
authorZoe <zoe@fsf.org>
Fri, 13 Mar 2020 17:04:15 +0000 (13:04 -0400)
committerZoe <zoe@fsf.org>
Fri, 13 Mar 2020 17:04:15 +0000 (13:04 -0400)

Trivial merge