On Thu, 17 Jan 2019, Christophe Lyon wrote:
> Ping? I think that kind of patch is OK for stage4?

Yes, documentation patches are (essentially) always okay.

Gerald

Reply via email to