Tomi Ollila <tomi.ollila@iki.fi> writes: > On Wed, Mar 18 2020, Daniel Kahn Gillmor wrote: > >> GMIME_ENCRYPT_NONE and GMIME_VERIFY_NONE have the same value, but they >> are different enumerated types. So in C, this is a cosmetic change, >> but it is technically correct if we only had stricter typing. Pushed. I await with interest the port to Agda. d _______________________________________________ notmuch mailing list notmuch@notmuchmail.org https://notmuchmail.org/mailman/listinfo/notmuch