On Wed, Oct 24, 2018 at 10:59:35AM +0530, Kuntal Ghosh wrote:
> Nice. Same here.
Thanks for confirming. I have committed the change, with HEAD making
the structures and the documentation consistent. Down to 10, only the
documentation has been changed, where it is adapted.
--
Michael