Closed RalfJung closed 5 years ago
See https://github.com/rust-lang/rust/issues/39575 for all the details.
I am not sure if this is what we usually do in such a case. Please let me know if I am doing it wrong.
Let's continue discussion on the issue
I am using [patch] now so I don't need this any more. Thanks for the pointer!
[patch]
[patch.crates-io] jobserver = { git = 'https://github.com/RalfJung/jobserver-rs' }
See https://github.com/rust-lang/rust/issues/39575 for all the details.
I am not sure if this is what we usually do in such a case. Please let me know if I am doing it wrong.