Merge branch 'stable' of ssh://vcs.fsf.org/libreplanet-static into stable
authorBambi <bambi@boris>
Thu, 16 Jan 2020 01:07:02 +0000 (20:07 -0500)
committerBambi <bambi@boris>
Thu, 16 Jan 2020 01:07:02 +0000 (20:07 -0500)

Trivial merge