Jeroen De Dauw has submitted this change and it was merged.

Change subject: Fixes for a113142b7214d15047a771d692fa8d3079def370
......................................................................


Fixes for a113142b7214d15047a771d692fa8d3079def370

Change-Id: I92f2d21056d93e200e4dca6ff7158f5298152f75
---
M ValueValidators/includes/validators/StringValidator.php
1 file changed, 5 insertions(+), 3 deletions(-)

Approvals:
  Jeroen De Dauw: Verified; Looks good to me, approved
  jenkins-bot: Looks good to me, but someone else must approve


--
To view, visit https://gerrit.wikimedia.org/r/37029
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I92f2d21056d93e200e4dca6ff7158f5298152f75
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/DataValues
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to