From b94107fe0bfb108971451c33f7b700b9f2f35634 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Tue, 30 Jan 2024 17:41:35 +0000
Subject: [PATCH]

---
 meetings/sync_up/sync_up_2024-01-30.mdwn | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/meetings/sync_up/sync_up_2024-01-30.mdwn b/meetings/sync_up/sync_up_2024-01-30.mdwn
index 763bcf964..2843d1550 100644
--- a/meetings/sync_up/sync_up_2024-01-30.mdwn
+++ b/meetings/sync_up/sync_up_2024-01-30.mdwn
@@ -34,14 +34,14 @@ live site.
 
 https://fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/
 
-# Dmitry
-
-# Sadoon
-
 # Jacob
 
+fosdem talk.
+
 # Rita (Aarhuis)
 
+listening! :)
+
 # Luke
 
 working on crternlogi etc as they are needed for maxloc.
-- 
2.30.2