that would indeed be a ray of hope if it is a mistake!Did anyone notice that the tie-break date went backwards?
On the 79th draw, the tie-break was November 16, 2017 at 04:20:20 UTC.
Now, on the 80th draw, it was October 02, 2017 at 14:56:53 UTC, which is 1.5 month earlier.
Why is that? Maybe a mistake? Was it supposed to be December 02, instead of October?