Closed cmdcolin closed 2 months ago
Fixes #4500
this is a pretty hardcoded fix but it is not yet clear to me how to provide a properly engineered one would work given that the previous approach (described in #4500) causes the crash
Fixes #4500