In [1] Sean reported the database being created in the wrong location. In order to fix this, this database creates the parent directory for the database in more cases.
[1]: id:[email protected] _______________________________________________ notmuch mailing list -- [email protected] To unsubscribe send an email to [email protected]
