July 24, 2018
12:27 p.m.
not googler i mean google. they requested a change to a pep Abdur-Rahmaan Janhangeer https://github.com/Abdur-rahmaanJ Mauritius
As the Googler who appeared on the mailing list, I can say this was just a coincidence. I was a bit nervous no one would respond though, given Guido's vacation :)