From 677b8463d310d082fbc9684ce2e4ade46cfcd58b Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Thu, 21 May 2020 14:13:21 +0100
Subject: [PATCH]

---
 mnolan.mdwn | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/mnolan.mdwn b/mnolan.mdwn
index 8cbf22af6..472c8135b 100644
--- a/mnolan.mdwn
+++ b/mnolan.mdwn
@@ -15,8 +15,14 @@ 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
- - <https://bugs.libre-soc.org/show_bug.cgi?id=332> POWER9 CR proof
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=306> parent #195
+    - POWER9 ALU proof
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=332> parent #195
+    - POWER9 CR proof
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=335> parent #195
+    - POWER9 BRANCH proof
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=331> parent #195
+    - POWER9 LOGICAL proof
 
 ## Completed not yet submitted
 
-- 
2.30.2