From: lkcl <lkcl@web>
Date: Mon, 4 Jul 2022 16:25:34 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~1333
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1bd4ce4728ac2e8d3699f92f27944b9e95d87842;p=libreriscv.git

---

diff --git a/lkcl.mdwn b/lkcl.mdwn
index 2d6b4b6ec..84d04b699 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -11,8 +11,6 @@ Lead dev and Project Coordinator for Libre-SOC.
 
 * <https://bugs.libre-soc.org/show_bug.cgi?id=236> Atomics, Jacob
   EUR 2500
-* <https://bugs.libre-soc.org/show_bug.cgi?id=195> Power ISA Formal Proof
-  EUR 6550
 * <https://bugs.libre-soc.org/show_bug.cgi?id=728> ISACaller, Dmitry
   EUR 1000
 * <https://bugs.libre-soc.org/show_bug.cgi?id=758> Pack/Unpack