I think, the fact that it happened at 3:30 means: they didn't. Its now 7pm, and nothing new has come to light; they could have waited 31 minutes, but they didn't.
That's why I used the word "slight"; put another way, it was uncourteous for them to not wait. They probably should have. It clearly wasn't hyper-urgent (though, could still be kinda-urgent). But pointedly: they didn't need to wait, because the board has no technical, legal responsibility to Microsoft. Its extremely possible Microsoft didn't even know this was happening.