On Sun, Sep 4, 2011 at 15:10, Jean Weber <jeanwe...@gmail.com> wrote: > > IMO, documentation.dev can be mapped to ooo-dev. That list was used > for policy and infrastructure discussions, which would fit well on > ooo-dev.
On further reflection, IF we set up a list for "ooo-userdocs" (under whatever name), it might be a good idea to map documentation.dev to that list, because all the recent trafffic on doc.dev has been people inquiring about helping with documentation; if their notes turned up in the "ooo-userdocs" queue, the moderators for that list could deal with them. Just a thought. --Jean
