An update: @tank104 sent us a reproducer via a private thread and we identified the problem and added a comment to an existing issue we’ve had in the same area. We now have more information to tackle the problem, for which we are grateful.
An update: @tank104 sent us a reproducer via a private thread and we identified the problem and added a comment to an existing issue we’ve had in the same area. We now have more information to tackle the problem, for which we are grateful.