Merge branch 'stable' of ssh://vcs.fsf.org/libreplanet-static into stable
authorGreg Farough <gregf@gnu.org>
Tue, 15 Dec 2020 23:31:41 +0000 (18:31 -0500)
committerGreg Farough <gregf@gnu.org>
Tue, 15 Dec 2020 23:31:41 +0000 (18:31 -0500)

Trivial merge