[HCoop-Discuss] gmane.org.misc.hcoop.general -> gmane.org.misc.hcoop.discuss

[Adam Megacz]

If you don't use gmane, you don't need to read this.

I'd like to propose to the gmane overseers that they rename
gmane.org.misc.hcoop.general to gmane.org.misc.hcoop.discuss, so the
name of the gmane group matches the name of the hcoop mailing list.
Does anybody object to this?  All those reading via gmane will need to
update their newsreader subscription, but it's a one-time change.

  - a