Good catches, thanks Fabien.  I will fix that tomorrow or so.

And applied to HEAD.

Ok.

Should it be backpatched? I'm not sure what the usual practice is wrt to small fixes in the doc.

--
Fabien.


Reply via email to