What's the process for moving an
ena PR from "approved" to "merged"? Viz. https://github.com/rust-lang-nursery/ena/pull/26
And then a new release made to crates.io, so rustc can incorporate the changes?
@nikomatsakis seems like maybe you were waiting on CI to pass?
Yeah, I was just giving a bit of time for any responses. I'll push a new version.
Lovely, thank you
(An aside: We should move that to rust-lang org)
Looks like you did that, and released 0.13.1 with my inlined_probe change? thank you
@nnethercote well the project is still in rust-lang-nursery... I'll move it at some point
but yes 0.13.1 is released :)
and the crates.io metadata is updated