Re: (ITS#6739) broken do_syncrep2()