IRC channels

Greetings, just a short note about the IRC channels CRUX is using: as of 2021-06-15 we've moved all channels from freenode to libera [1]. Special thanks to Matt who has done all the required administrative tasks. all the best and happy CRUX'ing Juergen [1] https://libera.chat/