On Tue, May 28, 2019 at 09:46:48PM +0200, Guillaume Lelarge wrote:
> Hehe, that was the first thing I wrote :) but went with "table and index"
> as it was also used a bit later in the chapter. Both are fine with me.
Okay, done this way. Thanks for the report.
--
Michael