Closed mgeier closed 3 months ago
I'm not quite sure if that's the proper thing to do, but I hope it's not too disruptive compared to the previous behavior.
This does not avoid the problem in #513, but it hopefully makes it easier to diagnose the problem.
Can somebody please confirm that this improves their situation (and how)? Otherwise I will close this without merging.
I'm closing this due to lack of response.
I'm not quite sure if that's the proper thing to do, but I hope it's not too disruptive compared to the previous behavior.
This does not avoid the problem in #513, but it hopefully makes it easier to diagnose the problem.