From 30472d95948be43ab97c10d95b932cb857f3b3a8 Mon Sep 17 00:00:00 2001
From: djc <158471+djc@users.noreply.github.com>
Date: Sat, 6 Dec 2025 02:50:29 +0000
Subject: [PATCH] Synchronize IDs (2025-12-06)

---
 crates/libcrux-intrinsics/RUSTSEC-2025-0133.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/libcrux-intrinsics/RUSTSEC-2025-0133.md b/crates/libcrux-intrinsics/RUSTSEC-2025-0133.md
index 1e493835..2739b329 100644
--- a/crates/libcrux-intrinsics/RUSTSEC-2025-0133.md
+++ b/crates/libcrux-intrinsics/RUSTSEC-2025-0133.md
@@ -5,6 +5,7 @@ package = "libcrux-intrinsics"
 date = "2025-12-04"
 url = "https://github.com/cryspen/libcrux/issues/1220"
 categories = ["crypto-failure"]
+aliases = ["GHSA-2cgv-28vr-rv6j"]
 
 [versions]
 patched = [">= 0.0.4"]