Hi Pablo. Does this bug still occur for you? I'm not really sure how to go about duplicating the problem. Can you tell me what file system you are using? I would be very helpful if you could provide a way of duplicating the problem using only the notmuch command line interface.
d -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
