Re: IRC Channel link on website?

[Peter Elst]

> Shame on me, I thought I read that saying it was a community resource was
> ok.
>

I also thought there was discussion on this after Bertrand voiced some
concerns. That said for other things there was a vote to get it published.

- Peter