diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2015-07-26 15:53:13 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2015-07-26 15:54:43 +0200 |
| commit | 464862335d1bc09437d4238214d30a1db7b829bd (patch) | |
| tree | 191bebd200c0a14581ab08bc921a7568da9c634d /debian/patches/series | |
| parent | 0ceb23a6c85c1c77dfac5e8eac6bf66657d08d07 (diff) | |
bugfix: Fetching new messages from local and adding them to remote modifies its UIDNEXT.
So we need to check again the first $source (remote) whenever the last
one (local) added new messages to it.
Diffstat (limited to 'debian/patches/series')
0 files changed, 0 insertions, 0 deletions