Alerts not working for some users on some document libraries

Problem description: Alerts not working for some users on some document libraries Some users were complaining that their alerts were not arriving for a specific document library. They did receive the intial alert to inform them about having activated the alert on the document library, but no alerts were arriving anymore upon changes in the document library. For other document libraries, all alerts were working as they should.