Status update
authorSamuel A. Falvo II <kc5tja@arrl.net>
Fri, 17 Jul 2020 23:00:34 +0000 (16:00 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Fri, 17 Jul 2020 23:00:34 +0000 (16:00 -0700)
Samuel_A_Falvo_II.mdwn

index 869c66b974e86441892ef65a27c0ab72cc6cb2dc..e1711806fe58c75d3a2ed0ca03ecb2d95c371727 100644 (file)
@@ -12,15 +12,13 @@ Move things along from one stage to the next.
 
 ## Currently working on
 
- - <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
 
 ## Completed but not yet submitted:
 
-## Submitted for NLNet RFP
-
-Submitted but not confirmed paid:
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR pipeline formal correctness proof needed
 
-## Paid
+## Submitted (but not confirmed paid) for NLNet RFP
 
-Donation from NLNet confirmed received:
+## Confirmed NLNet Paid