Bumping this up as I'm worried why the patch hasn't been applied yet, has it gone lost? On Sun, 28 Jun 2020 at 11:28, Roman Perepelitsa wrote: > On Sat, Jun 27, 2020 at 10:38 PM Cedric Ware > wrote: > > > > rounding up can be done, alternative patch below. > > LGTM. > > Roman. > -- Sebastian Gniazdowski IRC: https://kiwiirc.com/client/chat.freenode.net:+6697/#zinit Blog: http://zdharma.org