(no commit message)

diff --git a/mnolan.mdwn b/mnolan.mdwn
index 3bde90a82becd07129d5d60d9190e2e69115614f..83505831dc9d7c6a0af8249b07844474f58131bd 100644 (file)
--- 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