From 73ccc4ef97f1395da18189f4ad5b4fa85c60bcb7 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Sat, 23 Jul 2022 13:13:59 +0100
Subject: [PATCH]

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

diff --git a/lkcl.mdwn b/lkcl.mdwn
index a52bafe55..b78d299e7 100644
--- 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
-- 
2.30.2