On Thu, Apr 20, 2017 at 03:28:39PM +0200, Sebastien Bacher wrote:
> requirement ... and indeed it's not in the wiki. So we have at least one
> example where something checked the wiki documentation as a reference,
> wiki also is easy enough to edit so there is no real reason to not do it.
Thanks. I don't think I'm actually suggesting any change in policy here
- it seems to me that what I'm asking for isn't consistently written
everywhere even though it is actually current policy (because it has
always* been asked for in at least one place). So I'll JFDI and edit
everything for clarity, including the wiki, unless someone objects.