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/
_______________________________________________
notmuch mailing list
notmuch@notmuchmail.org
https://notmuchmail.org/mailman/listinfo/notmuch