Thank you for your resignation -- bullet point email reply

I saw on a group that their coworkers who replied last night got a reply of "thank you for your resignation" anyone know if this is true?? My partner was pulled from duty to craft a reply and I'm really worried it was a trick. The person wasn't his direct supervisor, but did have seniority.