11:30 AM - Mailing lists
Several days ago, we had an issue on our main server, stargazer. It was corrected, but mailman was not restarted completely. That's been corrected and users should be receiving mailing lists postings.
We've had light activity so far this month. Many developers are busy with summer vacations, moving, trips, etc.