Comment by brutecat

To be honest, I doubt it would've gotten merged anyways.