[net.news.group] micro group

woods@sri-unix (11/19/82)

  Could we possibly make a decision on whether it is net.micro or
net.info-micro? These two groups seem to cover the same topic, and the last 
few days I have seen many articles posted to both. I think we only need one of
them, so let's pick one and get rid of the other!