Re: duplicate Vojtech in gerrit