On Mon, Jul 13, 2020 at 08:15:42AM +0200, Pavel Stehule wrote:> > Do you want to add any more documentation ?> >> > done
Thanks - I think the documentation was maybe excessive. See attached.
-- Justin