[MediaWiki-commits] [Gerrit] mediawiki...WikibaseQualityConstraints[master]: Family name of Thiemo changed
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/391201 ) Change subject: Family name of Thiemo changed .. Family name of Thiemo changed Change-Id: Id3fbb505f61943992ea1576262323195e732
[MediaWiki-commits] [Gerrit] mediawiki...WikibaseQualityConstraints[master]: Family name of Thiemo changed
Thiemo Mättig (WMDE) has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/391201 ) Change subject: Family name of Thiemo changed .. Family name of Thiemo changed Change-Id: Id3fbb505f61943992ea1576262323195e73