Anyone done this before?

My fella has just got a job at the university I work at. He'll be working in a different department but within the same building, and it's quite small. Don't know if I can see it being a problem really. Might be a bit weird for a bit.

Do you have to declare something like that to HR or someone?