From 44eb1dfa62240b79489d3dc1fbe62fb4c985d7a6 Mon Sep 17 00:00:00 2001
From: "Samuel A. Falvo II" <kc5tja@arrl.net>
Date: Sun, 26 Jul 2020 15:44:30 -0700
Subject: [PATCH] Status update

---
 Samuel_A_Falvo_II.mdwn | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Samuel_A_Falvo_II.mdwn b/Samuel_A_Falvo_II.mdwn
index e1711806f..a1d14345e 100644
--- a/Samuel_A_Falvo_II.mdwn
+++ b/Samuel_A_Falvo_II.mdwn
@@ -12,11 +12,12 @@ Move things along from one stage to the next.
 
 ## Currently working on
 
- - <https://bugs.libre-soc.org/show_bug.cgi?id=421> TRAP pipeline formal correctness proof needed
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=340> formal proof of POWER9 SHIFTROT pipeline needed
 
 ## Completed but not yet submitted:
 
  - <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR pipeline formal correctness proof needed
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=421> TRAP pipeline formal correctness proof needed
 
 ## Submitted (but not confirmed paid) for NLNet RFP
 
-- 
2.30.2