Merge branch 'stable' of vcs.fsf.org:libreplanet-static into stable