Merge branch 'stable' of ssh://vcs.fsf.org/libreplanet-static into stable
authorGreg Farough <gregf@gnu.org>
Fri, 13 Mar 2020 13:56:15 +0000 (09:56 -0400)
committerGreg Farough <gregf@gnu.org>
Fri, 13 Mar 2020 13:56:15 +0000 (09:56 -0400)

Trivial merge