Open jayvdb opened 1 month ago
Thanks for the PR @jayvdb! Could you only submit your own commit so we can merge it independently?
That isnt useful at the moment due to https://github.com/mozilla/rust-code-analysis/issues/1083 . master fails to build. Nothing can be merged/done until that is fixed.
Since master is broken too, we can still merge things that are clearly OK.
Sits on top of #1084