Add ListenerSet GEP to the website (#3587)

dprotaso · web-flow · commit 7f18b6d01f16 · 2025-02-04T11:44:59.000-08:00
* Add ListenerSet GEP to the website

* move to provisional
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -125,6 +125,7 @@ nav:
       - geps/gep-91/index.md
       - geps/gep-1494/index.md
       - geps/gep-1651/index.md
+      - geps/gep-1713/index.md
       - geps/gep-1867/index.md
       - geps/gep-2648/index.md
       - geps/gep-2649/index.md
