People actually go to HR for such trivial things?
All the time. And HR are generally bored and enjoy some drama.
All the time. And HR are generally bored and enjoy some drama.