If not he missed the deadline on his other PR for 72 hours (according to some). Or don't they want to count Thursday as the 3 business days. We'll see.