diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2015-07-27 22:02:17 +0200 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2015-07-27 23:48:03 +0200 |
commit | 66b0682010cf24a4d2e92465dd57bcd795d21970 (patch) | |
tree | 1cd241fd32cfe2f66d1b5971b0959aaf9fe212e2 /debian/gbp.conf | |
parent | a03b8bfbd26f4c71eaff359d10576afe012d3de1 (diff) |
No longer try to guess whether a mailbox was deleted or renamed.
This was too error-prone. Instead, abort if a naming conflict occurs,
and provide explicit commands --delete and --rename to delete or rename
a mailbox.
Diffstat (limited to 'debian/gbp.conf')
0 files changed, 0 insertions, 0 deletions