From 0c2d91be9c18b6cab1240d93cfb683f83456634a Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Fri, 21 Aug 2020 19:41:53 +0100
Subject: [PATCH]

---
 lkcl.mdwn | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/lkcl.mdwn b/lkcl.mdwn
index f7f9a0cea..1af671a7b 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -38,10 +38,12 @@ move things along from one stage to the next
  - <https://bugs.libre-soc.org/show_bug.cgi?id=310> FU multiple tasks
  - <https://bugs.libre-soc.org/show_bug.cgi?id=335> Branch proof
    - EUR 400 shared 25% [[mnolan]] EUR 100
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=306> ALU proof
+   - EUR 500 shared [[mnolan]] samuel, TBD split
 
 ## Completed but not yet submitted:
 
-### 2019-10P-046 19-aug-2020  NLNet 2019 Formal Standards OpenPOWER 
+### 2019-10P-046 19-aug-2020  NLNet 2019-10-046 Formal Standards OpenPOWER 
 
  - <https://bugs.libre-soc.org/show_bug.cgi?id=463>
     - EUR 2000, python POWER9 simulator
@@ -54,8 +56,6 @@ move things along from one stage to the next
 
  - <https://bugs.libre-soc.org/show_bug.cgi?id=421> Trap proof
    - EUR 500 shared 20% samuel, EUR 100
- - <https://bugs.libre-soc.org/show_bug.cgi?id=306> ALU proof
-   - EUR 500 shared [[mnolan]] samuel, TBD split
  - <https://bugs.libre-soc.org/show_bug.cgi?id=332> CR proof
    - EUR 300 shared 1/6 [[mnolan]] EUR 50
  - <https://bugs.libre-soc.org/show_bug.cgi?id=331> Logic proof
-- 
2.30.2