|
| From: | Andreas Enge |
| Subject: | Re: rust-team branch merged |
| Date: | Tue, 9 May 2023 11:28:11 +0200 |
PS: Congratulations for getting the first team branch through!
And thanks for waiting until the core-updates merge :-)
| [Prev in Thread] | Current Thread | [Next in Thread] |