On Wed, 03 Aug 2016, KatolaZ wrote:
>
> host: irc.freenode.org
> port: 6667 (or 9999 if you want to use SSL - recommended)
>
> then once you are in, join the channel "#devuan" and/or
> #debianfork.
>
> Since you said you are an IRC novice, I guess you might find this
> tutorial useful:
>
> http://www.irchelp.org/irchelp/irctutorial.html

oh nevermind that was it

the glitch I referred to occurred on our own server, which we use for
other projects, but #devuan is on freenode so I god confused

Aitor: I hope you work it out!

ciao