Fixed wrong package author name (!1) · Merge requests · curry-packages / rewriting · GitLab

The source project of this merge request has been removed.

Jan-Hendrik Matthes requested to merge (removed):fix-package-author into master Aug 10, 2017