The ban seemed to be almost a sure thing, but once radio silence set in with the Trump administration, the deadline was extended.