From bc2ba023912f4dc12c30396fefa3cbda07bf3114 Mon Sep 17 00:00:00 2001
From: chrysn <chrysn@fsfe.org>
Date: Mon, 9 Sep 2024 15:57:23 +0200
Subject: [PATCH] Use pre-release version of c2rust 0.19

---
 riotbuild/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/riotbuild/Dockerfile b/riotbuild/Dockerfile
index 8da6b267..40dc4067 100644
--- a/riotbuild/Dockerfile
+++ b/riotbuild/Dockerfile
@@ -359,7 +359,7 @@ RUN \
 
 RUN \
     echo 'Installing C2Rust' >&2 && \
-    CARGO_HOME=/opt/rustup/.cargo cargo install --no-track --locked c2rust --git https://github.com/chrysn-pull-requests/c2rust --branch riscv-vector-types && \
+    CARGO_HOME=/opt/rustup/.cargo cargo install --no-track --locked c2rust --git https://github.com/immunant/c2rust --rev b9339f42a51779da89aef85b2ef96982789b51e1 && \
     echo 'Cleaning up root-owned crates.io cache' >&2 && \
     rm -rf /opt/rustup/.cargo/{git,registry,.package-cache}