From fdc81e62781a18bd82fc99b843b7b98eaf55378b Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Wed, 20 May 2020 15:17:42 +0100
Subject: [PATCH]

---
 mnolan.mdwn | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mnolan.mdwn b/mnolan.mdwn
index 3bde90a82..83505831d 100644
--- a/mnolan.mdwn
+++ b/mnolan.mdwn
@@ -15,6 +15,7 @@ Bored college student and contributor to Libre-SOC
  - <https://bugs.libre-soc.org/show_bug.cgi?id=211> parent #198
     - Formal proof of decoder
     - EUR 200
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=306> POWER9 ALU proof
 
 ## Completed not yet submitted
 
-- 
2.30.2