Van de Bugger has submitted this change and it was merged. Change subject: Version set to "devel" to denote a development version ......................................................................
Version set to "devel" to denote a development version Change-Id: Ia0b8b59f9f357fd75700360438066fa875408bb6 --- M HidePrefix.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Van de Bugger: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/24385 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia0b8b59f9f357fd75700360438066fa875408bb6 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/HidePrefix Gerrit-Branch: devel Gerrit-Owner: Van de Bugger <van.de.bug...@gmail.com> Gerrit-Reviewer: Van de Bugger <van.de.bug...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits