Hi Jérôme, On Mon, Nov 02, 2015 at 06:21:31PM +0100, Jérôme Duval wrote: > 2015-11-01 21:27 GMT+01:00 Willy Tarreau <w...@1wt.eu>: > > Ah OK indeed! Then that's fine. I'd prefer to split your patch in two > > because then it fixes a bug since the installation is forced on platforms > > which do not build it and will necessarily result in an error. And of > > course, I'm seeing that just a few minutes after I've tagged 1.5.15, as > > usual :-/ > > I agree, two commits are better in this case. > > > > > If you can split it, I'd appreciate it, otherwise I'll do it once I'm > > done with the 1.5.15 changelog and announce. > > Here is an updated patchset for git HEAD.
Nice, I've merged the new target into 1.7-dev and the bug into 1.7, 1.6, and 1.5. Thank you! Willy