diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2015-12-04 15:34:45 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2015-12-04 15:34:45 +0100 |
| commit | 3e3cb047be7f63233f766a022e9cf9ba8827094d (patch) | |
| tree | 0167431ed221759a8ebe2fd5f78dcc5919c4fb23 /settings.gradle | |
| parent | 242887447c09846f8b4eaeb8a29406e5135ec906 (diff) | |
rely on message id if message id is uuid and pgp encryption was used to deduplicate messages. fixes #1357
Diffstat (limited to 'settings.gradle')
0 files changed, 0 insertions, 0 deletions