Hi,
On 2017-12-14 09:28:08 +0100, Christoph Berg wrote:
> Re: Andres Freund 2017-12-13 <20171213173524(dot)rjs7b3ahsong5zko(at)alap3(dot)anarazel(dot)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