On Tue, 6 Dec 2011 15:49:07 -0500 Diego Novillo <dnovi...@google.com> wrote:
> For the time being, however, it is easier for me to edit the document > online. The document is at > https://docs.google.com/document/pub?id=1ZfyfkB62EFaR4_g4JKm4--guz3vxm9pciOBziMHTnK4 Should we edit the document (I don't dare doing that without your permission)? Should we put stuff on some wiki page about this document? Or should we send comments on this list? Cheers -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***
