In the meantime I upgraded to 11.11. The problem has not manifested itself since then, so I can no longer reproduce or check it.
In the meantime I upgraded to 11.11. The problem has not manifested itself since then, so I can no longer reproduce or check it.