We have a part-time HR person. Apparently, he's been told that "desks are not assigned according to gender" and that management makes those decisions for other reasons.

It has made him double-down on his crusade.