Comment by kungfooguru

> But while it took some time for us to diagnose, as soon as we did, we merged and pushed a fix within a few hours.

The comment in the thread says on May 1, "We have a fix for this issue and it will be pushed on or before our next weekly push next Tuesday"

But it didn't go out until May 5.