Rust team branch merged

[Andreas Enge]

$ git status 
On branch master
Your branch is behind 'origin/master' by 1438 commits, and can be 
fast-forwarded.
  (use "git pull" to update your local branch)

$ git log origin/master
commit f29f80c194d0c534a92354b2bc19022a9b70ecf8 (origin/master, origin/HEAD)
Merge: c034088e37 7947d47c9b
Author: Efraim Flashner <efraim@flashner.co.il>
Date:   Wed Feb 28 12:18:45 2024 +0200
    Merge branch 'rust-team'
    Change-Id: Iee31c5de29c357c822f60df4fa8ce758779eb349

Congratulations to the Rust team (aka Efraim) for this big endeavour!

Andreas