Am So., 7. Juni 2020 um 12:44 Uhr schrieb Marcel Taeumel
<marcel.taeumel at hpi.de>:
>
> Doing either one of those will fix the bug. But all are quite important in the long term. ;-)

Do you mean these are severe changes with great potential for further
bugs or do you mean that not only one but all changes should be made?

> If you happen to have local flap tabs (not just the shared/global ones),

Exactly! ...how could I not know that they cause this... ;-P