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

New release v3.2.0 #62

Merged
merged 1 commit into from
Aug 13, 2018
Merged

New release v3.2.0 #62

merged 1 commit into from
Aug 13, 2018

Conversation

holgerd77
Copy link
Member

No description provided.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 97.93% when pulling 65afce8 on new-release-v320 into 7ce7b80 on master.

Copy link
Member Author

@holgerd77 holgerd77 left a comment

Choose a reason for hiding this comment

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

No production code touched + time-critical release, will approve.

@holgerd77 holgerd77 merged commit 8100e62 into master Aug 13, 2018
@holgerd77 holgerd77 deleted the new-release-v320 branch August 13, 2018 13:11
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.

None yet

2 participants