Closed erszcz closed 1 year ago
I merged #529 too hastily, without realising there was a self-check error on that branch (it didn't show up in the CI, only once merged to master, though 🤔). It's fixed here. Again, this is a stopgap measure to address #527.
I merged #529 too hastily, without realising there was a self-check error on that branch (it didn't show up in the CI, only once merged to master, though 🤔). It's fixed here. Again, this is a stopgap measure to address #527.