[photran-dev] Photran mailing lists, newsgroup

[Jeffrey Overbey <subscribe-photran-dev@xxxxxxxxxxxx>]

Denis or Matt,

Sorry to bug you during Callisto.  Feel free to put this off until 
later; it is not important...

- On the list of Eclipse mailing lists 
(http://www.eclipse.org/mail/index_all.php), the main Photran mailing 
list (https://dev.eclipse.org/mailman/listinfo/photran) is missing.

- Can we get rid of the Photran newsgroup?  No one on the project 
monitors it; everything that "should" happen there happens on the main 
photran mailing list.  Maybe we could put a note to that effect on 
http://www.eclipse.org/newsgroups/index_project.php if we get rid of it?

- The mailing list archives don't seem to be working, at least for our 
three lists; most (if not all) of the messages aren't listed.  Is that a 
known problem?  I don't care, but a couple of end users have mentioned it...

Thanks.

Jeff Overbey
Photran Team