Closed arichiv closed 1 year ago
The build failure looks unrelated but I assume it won't properly push the update until it's fixed. Should I go ahead and do so on another PR? Not sure if there's a maintainer who I should tag on a task instead
If it's a minor thing you could push it here. Up to you.
Thanks!
(I'll fix the build error in a subsequent patch.)
591
This seems more correct.