From a659d17d1c0dbcadc38315b18cc195fe6840efc9 Mon Sep 17 00:00:00 2001
From: "Samuel A. Falvo II" <kc5tja@arrl.net>
Date: Sat, 29 Aug 2020 12:46:31 -0700
Subject: [PATCH] Update progress

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

diff --git a/Samuel_A_Falvo_II.mdwn b/Samuel_A_Falvo_II.mdwn
index a1d14345e..b8e095ebb 100644
--- a/Samuel_A_Falvo_II.mdwn
+++ b/Samuel_A_Falvo_II.mdwn
@@ -18,6 +18,7 @@ Move things along from one stage to the next.
 
  - <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
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=419> MUL pipeline formal proof needed
 
 ## Submitted (but not confirmed paid) for NLNet RFP
 
-- 
2.30.2