On Monday, 31 December 2018 15.22.56 WET Enrico Forestieri wrote: > Never mind. I discovered that it crashes only when configuring with > --enable-stdlib-debug and verified that the patch fixes it.
I noticed that you committed the fix. Thank you. :-) -- José Abílio
