From c87ac439a3690e47817aa0a8b32b1b44bad0357f Mon Sep 17 00:00:00 2001
From: Luca Casonato <lucacasonato@yahoo.com>
Date: Tue, 10 May 2022 12:40:20 +0200
Subject: [PATCH] Allow same identifier in static and regular ops

Closes #1097.
---
 index.bs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.bs b/index.bs
index 4abbf173..41b836b4 100644
--- a/index.bs
+++ b/index.bs
@@ -2048,8 +2048,8 @@ Note: The identifier can be the same
 as that of another operation on the interface, however.
 This is how operation overloading is specified.
 
-The [=identifier=] of a [=static operation=]
-also must not be the same as the identifier
+Note: The [=identifier=] of a [=static operation=]
+can be the same as the identifier
 of a [=regular operation=]
 defined on the same [=interface=].