IRC channel for Tinderbox

[Chris Rees]

Hi all,

Normally if people have a quick question about Tinderbox that they
want to ask in IRC, it's generally been in #bsdports IME.

However, I do think it'd be nice to have an 'separate' home, and I've
actually managed to sucker a few unsuspecting people into
#bsdtinderbox on EFNet.

Anyone who wants to join is welcome, though remember that it's not in
any way 'official'!

Chris