diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2019-11-15 22:20:40 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2019-11-15 22:22:55 +0100 |
commit | 51336e88f2de76c56b513de23d06677461742454 (patch) | |
tree | acd8cfaa258a1688516dd725441b6e99b54c442b /debian/.gitattributes | |
parent | 9a2d877628905447ee2ea09cf994b19c596b2ba4 (diff) |
Improve “UIDVALIDITY changed!” error message.
Mention the name of the problematic mailbox. (We may detect the
violation while not in SELECTED state.)
Diffstat (limited to 'debian/.gitattributes')
0 files changed, 0 insertions, 0 deletions