Closed jedwards1211 closed 1 day ago
@jedwards1211 could you merge in master? I cannot trigger CI myself on this PR (probably because the PR is old 😅) (and I'm not allowed to push to this branch)
Scratch latest - I could push! I just didn't see a button in GH's UI
fix #289
Thanks to @liuxingbaoyu for recommending the fix