9 Feb
2023
9 Feb
'23
11:20 a.m.
I finally found the (hard) way to avoid receiving unwanted email alerts: I modified the
alerts module in order to be able to specify the set of alert codes for which no
notification is sent. If someone is interested I can share it, just let me know.