(no commit message)

diff --git a/lkcl.mdwn b/lkcl.mdwn
index f70917369d070af6b516907ae38ff6fd575a1d80..ef59547a365e276b0ce7385e80e5779d21885229 100644 (file)
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -12,6 +12,7 @@ move things along from one stage to the next
 ## Currently working on
 
  - Project Management
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=565> Partitioning Proof
  - <https://bugs.libre-soc.org/show_bug.cgi?id=557> AV Opcodes
    - EUR 
  - <https://bugs.libre-soc.org/show_bug.cgi?id=556> SV Overview