Merge branch 'master' into lang_update_717_1515926661
commit9f9a5607b695878ba4400a82ba607e58046bb6cb
authorGerrit Uitslag <klapinklapin@gmail.com>
Sun, 14 Jan 2018 22:00:02 +0000 (14 23:00 +0100)
committerGitHub <noreply@github.com>
Sun, 14 Jan 2018 22:00:02 +0000 (14 23:00 +0100)
tree2de91f3755fd25531125cc9a0c9dd5e1b9da6dc0
parentdcbec55d04f3bfcbd64a907b736ce6aa04c36d9d
parentca6499f981186b9783e95ceb1d9eef9302ca102e
Merge branch 'master' into lang_update_717_1515926661
lib/plugins/extension/lang/he/lang.php