From 7f18b6d01f162c2d99230c428e2dbfa9492de418 Mon Sep 17 00:00:00 2001 From: Dave Protasowski Date: Tue, 4 Feb 2025 14:44:59 -0500 Subject: [PATCH] Add ListenerSet GEP to the website (#3587) * Add ListenerSet GEP to the website * move to provisional --- mkdocs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/mkdocs.yml b/mkdocs.yml index 4a4caa5b05..607a131d99 100644 --- 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