Patch portunus to allow dots in usernames #45

Merged

rouven0 merged 3 commits from portunus-patch into main 2023-07-04 17:11:02 +02:00

Conversation 1 Commits 3 Files changed 3 +31 -17

3 commits

Author	SHA1	Message	Date
Rouven Seifert	d5e881c639	use portunus.package to override	2023-07-04 17:06:18 +02:00
Rouven Seifert	5136effd16	fix the portunus pach	2023-07-04 15:15:58 +02:00
Rouven Seifert	0d7a9738b0	manually patch the portunus regex	2023-07-04 15:10:00 +02:00