They posted it here, which doesn't help folks that don't visit here but I don't recall whether or not they used any other methods for notification.  But as a side note, historically they have shut things down a few hours earlier than the IRS to avoid potential issues.