Update progress

diff --git a/Samuel_A_Falvo_II.mdwn b/Samuel_A_Falvo_II.mdwn
index a1d14345e4149b76b13eadc77f07c12072645fe7..b8e095ebbcebf0bb462eeed9c4328333b24cc3c2 100644 (file)
--- 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