From 2ad424b4f2cb16c9c40f6f1f2087ef5ca2f97dc2 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Thu, 21 May 2020 01:28:20 +0100
Subject: [PATCH]

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

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