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.
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.