https://bugzilla.wikimedia.org/show_bug.cgi?id=54158
Andre Klapper aklap...@wikimedia.org changed:
What|Removed |Added
Keywords||hiphop
https://bugzilla.wikimedia.org/show_bug.cgi?id=54158
Ori Livneh o...@wikimedia.org changed:
What|Removed |Added
Status|PATCH_TO_REVIEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=54158
Gerrit Notification Bot gerritad...@wikimedia.org changed:
What|Removed |Added
Status|NEW
https://bugzilla.wikimedia.org/show_bug.cgi?id=54158
--- Comment #2 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 85003 merged by jenkins-bot:
Allow RedisConnectionPool to be used with HHVM's Redis library
https://gerrit.wikimedia.org/r/85003
--
You are receiving this mail
https://bugzilla.wikimedia.org/show_bug.cgi?id=54158
--- Comment #1 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 85003 had a related patch set uploaded by Ori.livneh:
Allow RedisConnectionPool to be used with HHVM's Redis library
https://gerrit.wikimedia.org/r/85003
--
You
https://bugzilla.wikimedia.org/show_bug.cgi?id=54158
Andre Klapper aklap...@wikimedia.org changed:
What|Removed |Added
Priority|Unprioritized |Normal