(no commit message)

diff --git a/meetings/sync_up/sync_up_2024-01-30.mdwn b/meetings/sync_up/sync_up_2024-01-30.mdwn
index 763bcf96473bd0384ac7d836933696aa75dd315c..2843d15502f06a0d59cc8ccc24a81d1af9fc3075 100644 (file)
--- 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.