Even if it had been on personal time only, it’s still bad policy for dept employees to have relations with one another. It opens the door to drama and friction into a situation that doesn’t need more of either. Lives are literally on line.