Re: Rounding strategy

Thanks a lot!

Cheers, Rudolph

On 23-04-2021 10:51, Laurenz Albe wrote:
> On Fri, 2021-04-23 at 09:40 +0200, Laurenz Albe wrote:
>> Makes sense.  Here is an updated patch.
> 
> I see that you have already committed your proposed version.
> Thanks!
> 
> Yours,
> Laurenz Albe
>