Update Korean translation (Settings)
Update Korean translation (Settings)
Update Korean translation (Patch & Settings)
Merge branch 'translate_korean' of github.com:mrahn80/gitextensions into translate_korean
Remove "OldSource" Tags
Merge pull request #2132 from mrahn80/translate_korean

Update korean transition
Mono project check platform and call copy_plugins.sh
checking dir before copying to not yield errors
Fixing Gerrit project, checking platform