Ace said:I'm with Gold. Why tell?
If your boss is good as gold and finds out, he'll by OK with it.
If your boss is a dick and finds out by your or someone else, he'll be a dick.
No advantage to telling.
Personally, I assume people are looking. I don't get in their business. People do what they have to do. Sometimes, it's a relief when they leave, sometimes a huge pain in the ass for me.
But why get petty about it?
You tell if you want to list your boss as a reference.