Merge branch 'stable' of ssh://vcs.fsf.org/libreplanet-static into stable
authorGreg Farough <gregf@gnu.org>
Tue, 25 Feb 2020 21:51:23 +0000 (16:51 -0500)
committerGreg Farough <gregf@gnu.org>
Tue, 25 Feb 2020 21:51:23 +0000 (16:51 -0500)

Trivial merge