From: lkcl <lkcl@web>
Date: Tue, 30 Jan 2024 17:41:35 +0000 (+0000)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b94107fe0bfb108971451c33f7b700b9f2f35634;p=libreriscv.git

---

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.