Merge branch 'stable' of ssh://vcs.fsf.org/libreplanet-static into stable
authorGreg Farough <gregf@gnu.org>
Mon, 10 Aug 2020 15:08:39 +0000 (11:08 -0400)
committerGreg Farough <gregf@gnu.org>
Mon, 10 Aug 2020 15:08:39 +0000 (11:08 -0400)

Trivial merge