From f39f22ce6c768d1ed707f241c15652dbdbbbc081 Mon Sep 17 00:00:00 2001
From: Xavier Denis <denis.xavier@inf.ethz.chZ>
Date: Thu, 5 Sep 2024 17:14:16 +0200
Subject: [PATCH] Hacl rust title

---
 content/meetings/hacl-rust.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/content/meetings/hacl-rust.md b/content/meetings/hacl-rust.md
index 1838454..6b2d6ae 100644
--- a/content/meetings/hacl-rust.md
+++ b/content/meetings/hacl-rust.md
@@ -1,5 +1,6 @@
 +++
 date = 2024-01-22
+title = "Modernizing verified crypto with Rust: introducing HACL-Rust and Eurydice"
 +++