On Fri, May 04, 2018 at 12:07:01PM +0100, Andrew Price wrote: > Hm curious. I *can* reproduce the same segfaults but only if I build with > the 4.15 header and then rebuild with the 4.16 header *without* first > running ./configure. If I run ./configure the problem resolves itself.
Thanks, I removed all traces of 4.15 from the system, did a clean checkout of the repo and master does not segfault anymore :) I will try to fix 3.1.10 now... -- Valentin