404 – Ooops

Oh noes. The resource you requested does not seem to exist.

Note that URLs are case-sensitive and links to git patches often contain upper-case characters. Unfortunately some smart browsers and mail user agents seem to normalize characters with the result that the request fails.

If you are looking for a patch, try using software that supports URLs with mixed-case characters (which is not exactly rocket science). Curl and fetch should be fine.

404 – Seite nicht gefunden

Wurde ein Link von einer fremden Seite benutzt, wird sich jedoch der zuständige Autor eventuell über eine Mail freuen.

Falls ein Tippfehler beim Eingeben der URL vorliegt, würde ich sagen wir vergessen das Ganze.