Follow

If you use mu4e in for email, the 1.8 release is significant faster. (mu4e headers now render at least three times faster; and there is now sexp caching which improves performance with message searches as well.)

see github.com/djcb/mu/blob/master

It's available in 's AUR already.

(Still waiting for the package to update.... )

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.