Reedy has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/65445


Change subject: Point php to 1.22wmf4
......................................................................

Point php to 1.22wmf4

Change-Id: I1a8cbfefabf27d54eac1c361e4c00ac02d7e72ae
---
M php
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/45/65445/1

diff --git a/php b/php
index 94453d1..82a4545 120000
--- a/php
+++ b/php
@@ -1 +1 @@
-php-1.22wmf3
\ No newline at end of file
+php-1.22wmf4
\ No newline at end of file

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I1a8cbfefabf27d54eac1c361e4c00ac02d7e72ae
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>

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

Reply via email to