doc/tools: add ref to yosys PR

umarcor · umarcor · commit a1a851aac76d · 2023-07-12T15:31:36.000+02:00
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]
