Merge branch 'v1.5'

jmikola · jmikola · commit 7d2b3f685678 · 2019-01-28T12:00:40.000-05:00
diff --git a/bin/package.xml.in b/bin/package.xml.in
@@ -18,7 +18,7 @@ necessary to build a fully-functional MongoDB driver.
   <name>Derick Rethans</name>
   <user>derick</user>
   <email>derick@php.net</email>
-  <active>yes</active>
+  <active>no</active>
  </lead>
  <lead>
   <name>Hannes Magnusson</name>
