Open catcosmo opened 9 years ago
Yes, you're absolutely right! It seems this was an accidental pull request, as the github interface can be a bit tricky... and we are not able to delete our pull request, either. Please feel free to delete this pull request and the one before. Thanks for noticing!
Wouldn't this turn the website into the german version, including translating the website?
I'd be happy to upstream what's actually relevant, though.