On Thu, Jul 09, 2020 at 09:23:06PM -0700, Fangrui Song wrote: > The documentation does not seem to be updated. Now done, thanks for noticing. -- Alan Modra Australia Development Lab, IBM