doc/tools: add ref to yosys PR

umarcor · Jul 12, 2023 · a1a851a · a1a851a
1 parent f9725c6
commit a1a851a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/tools.adoc b/doc/tools.adoc
@@ -345,6 +345,7 @@ The following tables summarise the state (🟪 upstreamed, 🟩 ready but not up
  PKGRef:pr[num=2512, repo=YosysHQ/yosys]
  PKGRef:pr[num=2514, repo=YosysHQ/yosys]
  PKGRef:pr[num=2515, repo=YosysHQ/yosys]
+ PKGRef:pr[num=13821]
 |✔️
 
 |PKGRef:awesome[tool=Z3]