Hi, On 2017-12-14 09:28:08 +0100, Christoph Berg wrote: > Re: Andres Freund 2017-12-13 > <20171213173524.rjs7b3ahsong5...@alap3.anarazel.de> > > After staring at it for a while, I seem to have partially mis-copied the > > note for addition to the subtraction operation... > > I believe the attached is the correct version.
Thanks! Pushed. Schönen Abend, Andres
