From 17f24100d029c6a5ce615388d59d2455e262474d Mon Sep 17 00:00:00 2001
From: Hiroshi SHIBATA <hsbt@ruby-lang.org>
Date: Fri, 8 Dec 2023 15:32:25 +0900
Subject: [PATCH] Pick commit from
 https://github.com/rubygems/rubygems/pull/7227
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

  Co-authored-by: David Rodríguez <deivid.rodriguez@riseup.net>
---
 tool/bundler/dev_gems.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/bundler/dev_gems.rb b/tool/bundler/dev_gems.rb
index 856256a24689c5..3715344262a865 100644
--- a/tool/bundler/dev_gems.rb
+++ b/tool/bundler/dev_gems.rb
@@ -16,5 +16,5 @@
 gem "uri", "~> 0.12.0"
 
 group :doc do
-  gem "ronn", "~> 0.7.3", :platform => :ruby
+  gem "nronn", "~> 0.11.1", platform: :ruby
 end