From 57cd75f4b2e49f29fafd2039797f9006bb135255 Mon Sep 17 00:00:00 2001
From: Jon Skeet <jonskeet@google.com>
Date: Thu, 19 Oct 2023 15:10:44 +0100
Subject: [PATCH] chore: Update docfx to 2.71.1

The bug that affects google-cloud-dotent doesn't affect this repo,
due to the configuration we're using.
---
 .config/dotnet-tools.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
index 75915cc58eb..e6d5431e08c 100644
--- a/.config/dotnet-tools.json
+++ b/.config/dotnet-tools.json
@@ -3,7 +3,7 @@
   "isRoot": true,
   "tools": {
     "docfx": {
-      "version": "2.71.0",
+      "version": "2.71.1",
       "commands": [
         "docfx"
       ]