Skip to content

Linting to 99%#317

Merged
mistercrunch merged 1 commit into
masterfrom
lint
Apr 11, 2016
Merged

Linting to 99%#317
mistercrunch merged 1 commit into
masterfrom
lint

Conversation

@mistercrunch
Copy link
Copy Markdown
Member

No description provided.

@coveralls
Copy link
Copy Markdown

Coverage Status

Coverage remained the same at 72.554% when pulling 8e6597d on lint into c6da811 on master.

@mistercrunch mistercrunch merged commit 5b82249 into master Apr 11, 2016
@mistercrunch mistercrunch deleted the lint branch April 11, 2016 05:49
@mistercrunch mistercrunch added 🏷️ bot A label used by `supersetbot` to keep track of which PR where auto-tagged with release labels 🚢 0.8.7 First shipped in 0.8.7 labels Feb 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🏷️ bot A label used by `supersetbot` to keep track of which PR where auto-tagged with release labels 🚢 0.8.7 First shipped in 0.8.7

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants