From 1d1149903b2e69f24daef1ef0f13afd8acbe3661 Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Tue, 11 Aug 2020 19:02:56 -0700
Subject: [PATCH] openapi: Remove unused document_events member.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 zerver/openapi/openapi.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/zerver/openapi/openapi.py b/zerver/openapi/openapi.py
index 8c3fe3225d..d9d41676fa 100644
--- a/zerver/openapi/openapi.py
+++ b/zerver/openapi/openapi.py
@@ -26,7 +26,6 @@ class OpenAPISpec():
         self.data: Dict[str, Any] = {}
         self.regex_dict: Dict[str, str] = {}
         self.core_data: Any = None
-        self.documented_events: Set[str] = set()
 
     def check_reload(self) -> None:
         # Because importing yamole (and in turn, yaml) takes