Bartłomiej Piotrowski commented:
@jensgeorg The issue mentioned by Emmanuele has been fixed in the 13.11 release which we upgraded to today. Mind paying attention to whether the issue still happens? It sounds kinda related to yours.
Bartłomiej Piotrowski commented:
@jensgeorg The issue mentioned by Emmanuele has been fixed in the 13.11 release which we upgraded to today. Mind paying attention to whether the issue still happens? It sounds kinda related to yours.