On Sat, May 18 2019, Pierre Neidhardt wrote: > Friendly ping! :) patches tolerated >:D (if there is anyone who is interested enough to prioritize such a thing instead of doing something else) Tomi > > -- > Pierre Neidhardt > https://ambrevar.xyz/