Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CS: tidy up ruleset #701

Merged
merged 1 commit into from
Jul 28, 2018
Merged

CS: tidy up ruleset #701

merged 1 commit into from
Jul 28, 2018

Conversation

jrfnl
Copy link
Member

@jrfnl jrfnl commented Jul 17, 2018

Some tabs had crept in ;-)

Some tabs had crept in ;-)
@jrfnl jrfnl added chores/QA PR: quick merge PR only contains relatively simple changes PR: ready for review labels Jul 17, 2018
@jrfnl jrfnl added this to the 9.0.0 milestone Jul 17, 2018
@jrfnl jrfnl requested a review from wimg July 17, 2018 21:58
@wimg wimg merged commit 66b843b into master Jul 28, 2018
@wimg wimg deleted the feature/cs-clean-up-ruleset branch July 28, 2018 23:06
@jrfnl jrfnl removed the PR: quick merge PR only contains relatively simple changes label Sep 5, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants