I’ve bumped the patch date from 11/17 to 11/20. We’ve had some CI issues that are now resolved but took more time than expected.