On 02.04.19 12:38, Filip Pytloun wrote:
Hello Jonas,thank you for uploading this change. You can push changes into Git and create release tags. I am also fine with making you co-maintainer of this package if you want (and you could become PAPT member if you are not already). Thank you, Filip