-MarkM-
The change, can't really call it a fix, was put into the repo two days ago it looks like. Pretty sure that was long after block 250.
But was anyone even using the repo by then? Due to all the drama is seems more likely everyone either shut down to wait for the dust to settle or put the fix published in the thread into their copy of the code and ran with that fix, which was available to them right here in the thread long before block 250.
Would you sit there running broken code that come block 250 was not going to give you any lucky blocks to wait for some purportedly evil github-repo-maintainer to get around to merging the patch into the github, or just go ahead with what the founder wanted regardless of the procratinations of the purportedly evil repo-guy?
Maybe by block 250 all nodes running old broken code had already shut down?
-MarkM-