grammaticality - Use of "a user" as the antedecent of "they"

Is it correct to say "The list of reports a user will see may depend on the permissions group(s) they are in."?

I have asked the writer to change the text to say "users" to match "they", but he is resisting.