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

From: [email-masked] (Ludovic Courtès)
Date: Fri, 21 Apr 2017 11:02:48 +0200

Hello!

julien lepiller <[email-masked]> skribis:

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

Alex, if that’s still OK with you, can you push the patches?

Thanks,
Ludo’.