uweigand commented on issue #3706:
Just fixed a small merge conflict in lower.rs that would have introduces a regression. Should be good now.
uweigand commented on issue #3706:
This version should address all issues discussed above.
cfallin commented on issue #3706:
Was just looking at this as well; LGTM, happy for this to merge!
Last updated: Jan 13 2025 at 09:03 UTC