OK, I found it... (Project organisation)
Hello
I didn't know that this change was commited to the repo.
IMHO it isn't commited. Because of a confusion Milo added it as the pull request, that you found, and additionally as part of pull request #38, that is not merged yet!
Tschö, Auge
--
Trenne niemals Müll, denn er hat nur eine Silbe!