]> git.vanrenterghem.biz Git - Dotty.git/commitdiff
Do not include deleted messages in mu4e bookmark.
authorFrederik Vanrenterghem <frederik@vanrenterghem.biz>
Sat, 25 May 2024 10:55:08 +0000 (18:55 +0800)
committerFrederik Vanrenterghem <frederik@vanrenterghem.biz>
Sat, 25 May 2024 10:55:08 +0000 (18:55 +0800)

No differences found