Subject: bug#26405: [PATCH 0/2] Tweaks to the PHP package.

From: julien lepiller <[email-masked]>
Date: Tue, 11 Apr 2017 09:55:41 +0200

Thank you for these patches! I tried them, and I think we can push them.