Completed, thankfully. No price surges, trading halts, suspensions etc. That would have been seriously bad luck if any of those had happened, but you can't ever count on anything with the market.
