From eb92ea8715b44eef820b165808a52b8c57dbb776 Mon Sep 17 00:00:00 2001 From: Genseric Ghiro Date: Fri, 31 Oct 2025 14:25:20 -0400 Subject: [PATCH 1/3] Follow up to 20766: updating the docs --- docs/ops.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/ops.html b/docs/ops.html index fcef480f2c91a..0f498ebdf3c49 100644 --- a/docs/ops.html +++ b/docs/ops.html @@ -3000,7 +3000,7 @@