Closed jtru closed 1 year ago
Welp, apparently, it doesn't. I don't know what to do next and will just freeze this effort until you decide to get back to me, @pali.
Closing as this is duplicate of #63. I will take care about CI issues later (it is not blocker for merging; I can merge without CI too).
This is #63 all over once more... I'm just trying to see if this gets the CI hooks to run (and, hopefully, succeed) again.
I'm sorry for any inconveniences caused.