From 259afa1fa9a74a0465e4b89ef791ce3291aef30f Mon Sep 17 00:00:00 2001
From: Tobias Alexandra Platen <alex@platen-software.de>
Date: Sun, 30 Nov 2025 11:24:17 +0100
Subject: [PATCH 1/2] add my paragraph

---
 src/grants/cpu_with_programmable_decoder.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/grants/cpu_with_programmable_decoder.md b/src/grants/cpu_with_programmable_decoder.md
index 32e1add..5051abf 100644
--- a/src/grants/cpu_with_programmable_decoder.md
+++ b/src/grants/cpu_with_programmable_decoder.md
@@ -23,7 +23,10 @@ design and formal verification. Presented the talk "An introduction to
 Formal Verification of Digital Circuits" on FOSDEM 2024
 (<https://archive.fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/>).
 
-* TODO: does Tobias Platen want to participate?
+* Tobias Platen -  Currently working on <https://nlnet.nl/project/Libre-Chip-proof/>. Contributed to the Libre-SOC project, mostly on 
+ECP5 FPGA prototypes and DDR SDRAM memory interfaces. Presented the talk "Using the ECP5 
+for Libre-SOC prototyping" on FOSDEM 2024 (<https://archive.fosdem.org/2024/schedule/event/fosdem-2024-2060-using-the-ecp5-for-libre-soc-prototyping/>).
+
 
 # Requested support
 

From 2f742e7606a4f5fdfdd86aea20d6f9ebd81656af Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Sun, 30 Nov 2025 02:47:02 -0800
Subject: [PATCH 2/2] clean up whitespace

---
 src/grants/cpu_with_programmable_decoder.md | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/grants/cpu_with_programmable_decoder.md b/src/grants/cpu_with_programmable_decoder.md
index 5051abf..7d4bf22 100644
--- a/src/grants/cpu_with_programmable_decoder.md
+++ b/src/grants/cpu_with_programmable_decoder.md
@@ -23,11 +23,10 @@ design and formal verification. Presented the talk "An introduction to
 Formal Verification of Digital Circuits" on FOSDEM 2024
 (<https://archive.fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/>).
 
-* Tobias Platen -  Currently working on <https://nlnet.nl/project/Libre-Chip-proof/>. Contributed to the Libre-SOC project, mostly on 
-ECP5 FPGA prototypes and DDR SDRAM memory interfaces. Presented the talk "Using the ECP5 
+* Tobias Platen -  Currently working on <https://nlnet.nl/project/Libre-Chip-proof/>. Contributed to the Libre-SOC project, mostly on
+ECP5 FPGA prototypes and DDR SDRAM memory interfaces. Presented the talk "Using the ECP5
 for Libre-SOC prototyping" on FOSDEM 2024 (<https://archive.fosdem.org/2024/schedule/event/fosdem-2024-2060-using-the-ecp5-for-libre-soc-prototyping/>).
 
-
 # Requested support
 
 Requested Amount &euro;100000