Skip to content

Warnings#17

Merged
LordMike merged 1 commit into
DiscUtils:masterfrom
glenebob:warnings
Mar 15, 2017
Merged

Warnings#17
LordMike merged 1 commit into
DiscUtils:masterfrom
glenebob:warnings

Conversation

@glenebob

Copy link
Copy Markdown
Contributor

Kill all warnings by adding XML comments and one warning suppression.

Kill all warnings by adding XML comments and one warning suppression.
{
return false;
}
get { return false; }

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nuhuh.. This is not a comment or a warning suppression. Re-do the PR..

Just kidding.. This is great 👍

@LordMike LordMike merged commit 0d6de3a into DiscUtils:master Mar 15, 2017
@glenebob glenebob deleted the warnings branch March 16, 2017 00:22
LordMike added a commit that referenced this pull request Aug 16, 2017
Includes PRs:
#17, #18, #21, #22, #23, #27, #30, #31, #33, #34, #35, #36, #38, #39, #40, #41, #48, #51, #52, #55, #60
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants