README: update IRC channel.

This commit is contained in:
whitequark 2021-05-20 03:07:51 +00:00 committed by GitHub
parent 78be9e7b67
commit e974a31022
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -58,7 +58,7 @@ Once your design passes verification with nMigen, you can migrate it to the nMig
### Community
nMigen has a dedicated IRC channel, [#nmigen at freenode.net](https://webchat.freenode.net/?channels=nmigen). Feel free to join to ask questions about using nMigen or discuss ongoing development of nMigen and its related projects.
nMigen has a dedicated IRC channel, [#nmigen at libera.chat](irc://irc.libera.chat/nmigen). Feel free to join to ask questions about using nMigen or discuss ongoing development of nMigen and its related projects.
### License