I wasn't notified.

Then again, I didn't know what PM was during my early TPM days.

My condolences anyhow.