From 3a1001830bbf699aff3e524a8eb2d55a886227cb Mon Sep 17 00:00:00 2001
From: Paulo <pnmanjos@hotmail.com>
Date: Tue, 17 Nov 2020 02:11:02 -0300
Subject: [PATCH] misc: Missing summary tag

---
 src/Discord.Net.WebSocket/DiscordSocketConfig.cs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Discord.Net.WebSocket/DiscordSocketConfig.cs b/src/Discord.Net.WebSocket/DiscordSocketConfig.cs
index 11e44d8dc..0e8fbe73f 100644
--- a/src/Discord.Net.WebSocket/DiscordSocketConfig.cs
+++ b/src/Discord.Net.WebSocket/DiscordSocketConfig.cs
@@ -151,6 +151,7 @@ namespace Discord.WebSocket
         }
         private int _maxWaitForGuildAvailable = 10000;
         
+        /// <summary>
         ///    Gets or sets gateway intents to limit what events are sent from Discord. Allows for more granular control than the <see cref="GuildSubscriptions"/> property.
         /// </summary>
         /// <remarks>