/// <summary> Returns the user with the specified name and discriminator, along withtheir server-specific data, or null if they couldn't be found. </summary>
/// <remarks> Name formats supported: Name and @Name. Search is case-insensitive. </remarks>
public User GetUser(Server server, string username, short discriminator)
{
if (server == null) throw new ArgumentNullException(nameof(server));
@@ -159,7 +158,7 @@ namespace Discord
}
/// <summary> Returns all users with the specified server and name, along with their server-specific data. </summary>
/// <remarks> Name formats supported: Name and @Name. Search is case-insensitive.</remarks>
/// <remarks> Name formats supported: Name, @Name and <@Id>. Search is case-insensitive.</remarks>