From d1b6847ee871e244b98e922e9c9b15d86c15f7c3 Mon Sep 17 00:00:00 2001
From: Konstantin Pavlov <kpavlov00@userver.tech>
Date: Wed, 31 Jul 2024 12:33:39 +0300
Subject: [PATCH] Reserve custom options for userver (https://userver.tech/)
 (#17603)

---
 docs/options.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/options.md b/docs/options.md
index 9d23eea57d..9b218b4c57 100644
--- a/docs/options.md
+++ b/docs/options.md
@@ -516,3 +516,8 @@ with info about your project (name and website) so we can add an entry for you.
 
     *   Website: http://buf.build/
     *   Extension: 1200-1239
+
+1.  userver
+
+    *   Website: https://userver.tech/
+    *   Extensions: 1240-1249