Miscellanous changes on master (!304) · Merge requests · Eric S. Raymond / reposurgeon · GitLab

The source project of this merge request has been removed.

Julien "_FrnchFrgg_" Rivaud requested to merge (removed):misc into master Dec 07, 2019

Review the patches separately