November 30, 2020March 29, 2023 Release Notes #715 The notification that mails cannot be delivered to your mailbox, as for instance is the case for students who aren’t able to receive external mails, can now be switched off.A couple of usability improvements have been released.