Thread:Support/About MediaWiki:Gerrittools-repogroup-mediawiki/extensions/en/reply

Thanks for the report. Fixed with https://gerrit.wikimedia.org/r/13008