On 19. Apr 2017, at 13:30, Neels Hofmeyr
<nhofmeyr(a)sysmocom.de> wrote:
--- or so I thought! There has been activity on this ticket since I last
looked at it, it seems they've actually fixed the problem in 2.12.6, yay!
I will upgrade gerrit one of these days...
the upgrade occurred yesterday. Please have a look at how it behaves.
holger