Skip to content

Fix a bunch of bugs/minor bits picked up by scrutinizer#182

Merged
cooperaj merged 1 commit intomasterfrom
scrutinizer-bugs
May 30, 2017
Merged

Fix a bunch of bugs/minor bits picked up by scrutinizer#182
cooperaj merged 1 commit intomasterfrom
scrutinizer-bugs

Conversation

@dpslwk
Copy link
Member

@dpslwk dpslwk commented May 28, 2017

No description provided.

@dpslwk dpslwk added this to the Base System milestone May 29, 2017
@dpslwk dpslwk added the bug label May 29, 2017
Copy link
Contributor

@cooperaj cooperaj left a comment

Choose a reason for hiding this comment

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

👍

@cooperaj cooperaj merged commit da93c5d into master May 30, 2017
@dpslwk dpslwk deleted the scrutinizer-bugs branch May 30, 2017 11:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants