Re: Mailing list subscribers

[Gregory Nutt]

JFYI So far we have 62 subscriber to this list.

This is very good.  There are 403 in the Google group.  When we reach a 
point where we tolerate the inconvenience to the few remaining, I can 
shut down further posts on Google.