On Thursday, 22 March 2018 at 04:17:52 UTC, Mike Franklin wrote:
Let's see what happens after the auto-tester starts testing it again.
Note that it could be a while, as there are PRs that will be getting merged in the next 24 hours that will restart the test queue.
Mike
