Skip to content
This repository was archived by the owner on Nov 6, 2020. It is now read-only.

Informant tidyup. #1699

Merged
merged 3 commits into from
Jul 24, 2016
Merged

Informant tidyup. #1699

merged 3 commits into from
Jul 24, 2016

Conversation

gavofyork
Copy link
Contributor

  • Clean indent.
  • Don't skip skipping.

Clean indent.
Don't skip skipping.
@gavofyork gavofyork added the A0-pleasereview 🤓 Pull request needs code review. label Jul 23, 2016
@coveralls
Copy link

coveralls commented Jul 23, 2016

Coverage Status

Coverage remained the same at 75.46% when pulling 682c9f9 on informant-tidy into 247495f on master.

@arkpar arkpar added A8-looksgood 🦄 Pull request is reviewed well. and removed A0-pleasereview 🤓 Pull request needs code review. labels Jul 24, 2016
@gavofyork gavofyork merged commit 9cdd2d2 into master Jul 24, 2016
@gavofyork gavofyork deleted the informant-tidy branch July 24, 2016 15:38
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
A8-looksgood 🦄 Pull request is reviewed well.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants