Skip to content

Conversation

@oschwald
Copy link
Member

No description provided.

@oschwald oschwald force-pushed the greg/code-scanning branch from 9822224 to 0da09ab Compare June 25, 2020 15:48
@oschwald oschwald force-pushed the greg/code-scanning branch from 0da09ab to 4c96171 Compare June 25, 2020 15:56
@coveralls
Copy link

Coverage Status

Coverage remained the same at 95.28% when pulling 4c96171 on greg/code-scanning into f5b8b4b on master.

@coveralls
Copy link

Coverage Status

Coverage increased (+0.6%) to 95.87% when pulling 4c96171 on greg/code-scanning into f5b8b4b on master.

@horgh horgh merged commit a4b31a3 into master Jun 26, 2020
@horgh horgh deleted the greg/code-scanning branch June 26, 2020 15:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

4 participants