Workaround server bug

mail.de

app/src/main/java/eu/faircode/email/Core.java

@@ -734,8 +734,10 @@ class Core {
         }
 
         if (folder.id.equals(message.folder)) {
-            message.uid = findUid(ifolder, message.msgid, true);
+            // Some providers do not list the new message yet
-            if (message.uid != null) {
+            Long newuid = findUid(ifolder, message.msgid, true);
+            if (message.uid != null && newuid != null && newuid > message.uid) {
+                message.uid = newuid;
                 Log.i(folder.name + " appended uid=" + message.uid);
                 db.message().setMessageUid(message.id, message.uid);