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

New release v1.3.7 #119

Merged
merged 1 commit into from
Jul 25, 2018
Merged

New release v1.3.7 #119

merged 1 commit into from
Jul 25, 2018

Conversation

holgerd77
Copy link
Member

No description provided.

@coveralls
Copy link

coveralls commented Jul 25, 2018

Coverage Status

Coverage remained the same at 98.795% when pulling 317b821 on new-release-v137 into b569738 on master.

@holgerd77 holgerd77 merged commit e3fc214 into master Jul 25, 2018
@holgerd77 holgerd77 deleted the new-release-v137 branch July 25, 2018 09:01
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants