On Sun, 04 Aug 2019 15:36:19 +0200 (CEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote: > For post-commit review by anyone. Noone reviewed this change, but noone has reported any problems caused by it either. Unless someone objects today, I will go ahead and make this change permanent. Zoltan.