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