We are experiencing temporary issues with email notifications caused by the migration of our mail server to a new IP address. Some notifications may be lost, delayed, or duplicated. Please bear with us while we’re fixing this.
I had the feeling that I had been missing a couple of notifications 