Hi Simon, about a month ago when you helped me with use-after-free fix you wrote: > I ran the patch through my CI job, looks good. I'm wondering whether the CI scripts for your job are available? I'd like to setup a similar job on my CI to avoid similar problems in future. I'm especially interested in "configure ..." and "make check ..." commands. Thanks! Jan