Merge pull request #3171 from dokuwiki-translate/lang_update_80_1592060554