3 ms·

Yes, I am aware of their contribution since I follow the Rust development news. Thank you for the information anyway!