On Wed, Jun 06, 2018 at 04:22:22PM +0200, Olivier Houchard wrote: > The last patch depended on the first one, so without it that failure is > expected.
and confirms the benefit of catching such cases at build time :-) > Thanks a lot for reporting and testing. > > Willy, I think you can push both the patches. OK now merged, thank you! Willy
