Tom Tromey Mon, 01 Oct 2018 19:10:13 -0700
>>>>> "Bruno" == Bruno Haible <br...@clisp.org> writes:
Bruno> I updated the documentation accordingly: Thank you. Tom