Don't email HR, email him, or better yet, call him. He seemed to take it in stride, but even so the gesture will go a long way.

​

If you knew he was gay but didn't know his name (suggesting you two didn't have some intimate relationship where he would disclose that to you), then you probably didn't out him.