> On Feb 26, 2019, at 11:38, Magnus Hagander <[email protected]> wrote:
> That should not be a wiki page, really, that should be part of the main 
> documentation. 

I was just suggesting using a wiki page to draft it before we drop it into the 
main documentation.  I'm open to other suggestions, of course!

--
-- Christophe Pettus
   [email protected]


Reply via email to