[coreboot] SeaBIOS IRC channel: #[e-mail]

[Paul Menzel]

Dear coreboot folks,

No idea, if you already new this, but I didn’t know that there was a
dedicated SeaBIOS IRC channel, until somebody mentioned it in
#coreboot.

Just wanted to let you know, as it’s not documented yet [1].

Thanks,

Paul

[1] https://www.seabios.org