From 24e661b01ca956d58ffbad0157fc40d4c7e1f57f Mon Sep 17 00:00:00 2001
From: Joshua Humphries <2035234+jhump@users.noreply.github.com>
Date: Mon, 30 Sep 2024 19:30:18 -0700
Subject: [PATCH] Request another block of custom option numbers (#18548)

We reserved a range of 10 a couple of years ago but are nearing exhausting that block. We anticipate needing to define more custom options, so this allocates another block of numbers to Buf.

Closes #18548

COPYBARA_INTEGRATE_REVIEW=https://github.com/protocolbuffers/protobuf/pull/18548 from jhump:jh/more-option-numbers 898fdec6db5ee9d74829caaadb15cf270e5641de
PiperOrigin-RevId: 680810934
---
 docs/options.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/options.md b/docs/options.md
index 86bb8499eb..46ef84b5ac 100644
--- a/docs/options.md
+++ b/docs/options.md
@@ -511,3 +511,8 @@ with info about your project (name and website) so we can add an entry for you.
 
     *   Website: https://nebius.ai
     *   Extensions: 1191-1199
+
+1.  Buf
+
+    *   Website: http://buf.build/
+    *   Extension: 1200-1239