No General Management shouldn't say who complained, and it's not hard to keep their name anonymous. That is leaking, because if I complain, they find out then they could easily establish a hatred towards me in the future surely. However, yes the department manager leaked too.