OK, I found it... (Project organisation)
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!
Trenne niemals Müll, denn er hat nur eine Silbe!