(no commit message)

[libreriscv.git] / lkcl.mdwn

diff --git a/lkcl.mdwn b/lkcl.mdwn
index 41bd98d6d879e8f28a376001befcbc23a5781c22..f1a392f4ebb3c507edee1260f87481afb6d102ef 100644 (file)
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -66,6 +66,7 @@ move things along from one stage to the next
  - <https://bugs.libre-soc.org/show_bug.cgi?id=331> Logic proof
    - EUR 400 shared 25% [[mnolan]] EUR 100
  - <https://bugs.libre-soc.org/show_bug.cgi?id=312> countzero proof
+   - EUR 50
  - <https://bugs.libre-soc.org/show_bug.cgi?id=346> regfile-core
    - EUR 750
  - <https://bugs.libre-soc.org/show_bug.cgi?id=344> add mtmsrd