@jwildeboer May I ask what the bug was, and a possible git pr?

Didn't have the possibility to read news recently.