(no commit message)

diff --git a/lkcl.mdwn b/lkcl.mdwn
index f7f9a0ceaaf7bad583faf9191ac05582fc8e8fa3..1af671a7b50a55d7e6983770a587136721cb155d 100644 (file)
--- 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