Thread:Mendes2/@comment-9605025-20190617231520/@comment-25014407-20200909171454

I'll just delete them then, no need to have those (duplicates) around. Furthermore, I'll be less active in the next few months due to work-related reasons. I'll still get mails, and if I have time, I can still take care of them, but there is a bigger chance than normal that I read it and forget about it