From 483a400dbeb89f33e042516643d3fd1d9c2350d2 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Tue, 7 Jul 2020 12:25:13 +0100
Subject: [PATCH]

---
 lkcl.mdwn | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/lkcl.mdwn b/lkcl.mdwn
index f13153dfb..9f746bade 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -26,16 +26,17 @@ move things along from one stage to the next
  - <https://bugs.libre-soc.org/show_bug.cgi?id=335> Branch proof
  - <https://bugs.libre-soc.org/show_bug.cgi?id=314> CR pipe
  - <https://bugs.libre-soc.org/show_bug.cgi?id=323> CR proof
- - <https://bugs.libre-soc.org/show_bug.cgi?id=315> SPR pipe
- - <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR proof
  - <https://bugs.libre-soc.org/show_bug.cgi?id=323> MUL pipe
  - <https://bugs.libre-soc.org/show_bug.cgi?id=419> MUL proof
  - <https://bugs.libre-soc.org/show_bug.cgi?id=324> DIV pipe
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=420> DIV proof
  - <https://bugs.libre-soc.org/show_bug.cgi?id=325> Trap pipe
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=421> Trap proof
  - <https://bugs.libre-soc.org/show_bug.cgi?id=330> Logic pipe
  - <https://bugs.libre-soc.org/show_bug.cgi?id=336> Compunit RA=0 test
  - <https://bugs.libre-soc.org/show_bug.cgi?id=345> POWER9 regfiles
  - <https://bugs.libre-soc.org/show_bug.cgi?id=348> SPR pipe
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR proof
  - <https://bugs.libre-soc.org/show_bug.cgi?id=349> privileged detection
  - <https://bugs.libre-soc.org/show_bug.cgi?id=350> LDST RA=0 test
  - <https://bugs.libre-soc.org/show_bug.cgi?id=361> RA=0 tests
-- 
2.30.2