Closed nim65s closed 4 months ago
Looks like we forgot that in #149 :(
Oh, wait, I thought the CI was broken since this was merged, but actually it wasn't even merged… So let's merge this anyway I guess, we'll have to fix CI anyway.
Looks like we forgot that in #149 :(