Onboard ptr1337 as Package Maintainer

Peter has previously been a Junior Package Maintainer and since the two month period is now up and his changes in the packaging ecosystem were all good so far they can be promoted as outlined in RFC 14.

---

cc @ptr1337

assigned to @gromit

added 18 commits

• bcedb415...70901d06 - 17 commits from branch master
• 07128b7c - Onboard ptr1337 as Package Maintainer

Compare with previous version

approved this merge request

added 2 commits

• ff328905 - 1 commit from branch master
• d95934eb - Onboard ptr1337 as Package Maintainer

Compare with previous version

mentioned in commit dcdfdc93

merged manually