Proposal: drop de_DE translations #268
This has been discussed, probably proposed before (think by @astroidex ?): GHC already has a "de" ("German" in Language menu) translation, which is updated regularly. But there is also a "de_DE", ("German (Germany)" in Language menu) not updated regularly.
My proposal is to drop "de_DE" and only maintain "de".