(no commit message)

diff --git a/lkcl.mdwn b/lkcl.mdwn
index a52bafe55c5b4da9cdd8daef5f99e8ec8a18a5a9..b78d299e7b021041fef5b7e0ecb5d085f00034d0 100644 (file)
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -9,6 +9,8 @@ Lead dev and Project Coordinator for Libre-SOC.
 
 # Priority tasks to keep an eye on
 
+* <https://bugs.libre-soc.org/show_bug.cgi?id=198> nmutil/etc Formal Proofs
+   EUR 8650
 * <https://bugs.libre-soc.org/show_bug.cgi?id=236> Atomics, Jacob
   EUR 2500
 * <https://bugs.libre-soc.org/show_bug.cgi?id=728> ISACaller, Dmitry
@@ -17,12 +19,8 @@ Lead dev and Project Coordinator for Libre-SOC.
   EUR 700
 * <https://bugs.libre-soc.org/show_bug.cgi?id=758> pypowersim, Andrey
   EUR 800
-* <https://bugs.libre-soc.org/show_bug.cgi?id=198> nmutil/etc Formal Proofs
-   EUR 8650
 * <https://bugs.libre-soc.org/show_bug.cgi?id=197> 6600 proof
   EUR 5000
-* <https://bugs.libre-soc.org/show_bug.cgi?id=232> Video Simulator
-  EUR 5000
 * <https://bugs.libre-soc.org/show_bug.cgi?id=234> Video ops
   EUR 2500
 * <https://bugs.libre-soc.org/show_bug.cgi?id=255> 3D opcodes