Skip to content
This repository has been archived by the owner on May 14, 2021. It is now read-only.

1.5.2 #245

Merged
merged 2 commits into from Jan 15, 2019
Merged

1.5.2 #245

merged 2 commits into from Jan 15, 2019

Conversation

chinesedfan
Copy link
Member

@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 8619a25 on 1.5.2 into a5bb594 on master.

@chinesedfan chinesedfan merged commit b5491a2 into master Jan 15, 2019
@chinesedfan chinesedfan deleted the 1.5.2 branch January 15, 2019 14:29
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