David Bremner <[email protected]> writes: > According to my bijection, this bug has been present since commit > 411675a6ce in 2017. It is apparently harmless for regular use, but > does make notmuch crash when compiled with -DDEBUG_DATABASE_SANITY.
applied to master, with updates to commit message and shell script fixes. d _______________________________________________ notmuch mailing list -- [email protected] To unsubscribe send an email to [email protected]
