Closed mlocati closed 2 years ago
Can confirm that this fixes the segmentation fault from #826
Thanks for checking. I've also been able to replicate the issue inside the GitHub Actions (see #829). So, I've rebased this PR: let's see if this #828 fixes the issue
Close #826