]> ruin.nu Git - NDIRC.git/commitdiff
Merge branch 'discord'
authorMichael Andreen <harv@ruin.nu>
Fri, 22 Mar 2019 12:05:12 +0000 (13:05 +0100)
committerMichael Andreen <harv@ruin.nu>
Fri, 22 Mar 2019 12:05:12 +0000 (13:05 +0100)

Trivial merge