Hey, I just noticed that @cjgillot , @oliver , and @mw are not in the WG (neither on the Zulip list, nor on https://github.com/rust-lang/team/blob/master/teams/wg-incr-comp.toml ). Any reason you three would not want to be added to those lists?
No objection for me.
I had thought I already was on that list :)
@pnkfelix I think you meant to ping @oli instead maybe? Although I wasn't aware they're highly involved in incremental
Okay so lets just state for the record: I wasn’t trying to ping oli . I had incorrectly inferred that I might want to ping oliver ; oliver and I have already resolved this confusion over PM.
Last updated: Oct 21 2021 at 20:03 UTC