I don't think they fixed a bug or something. A new developer probably just stumbled upon some undocumented code he didn't know what it was used for, so he remov

I don't think they fixed a bug or something. A new developer probably just stumbled upon some undocumented code he didn't know what it was used for, so he removed it. My tip: They should improve their CI.