Skip to content

Conversation

jorrit
Copy link
Owner

@jorrit jorrit commented Jul 24, 2020

No description provided.

@jorrit jorrit force-pushed the deps branch 2 times, most recently from 02b14f1 to 8897b97 Compare July 24, 2020 11:42
@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 4c2d5be on deps into 49e4786 on master.

@jorrit jorrit merged commit cdfea70 into master Jul 24, 2020
@jorrit jorrit deleted the deps branch July 24, 2020 11:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants