Skip to content
This repository has been archived by the owner on Feb 28, 2019. It is now read-only.

Update policy list #56

Merged
merged 1 commit into from
Jan 18, 2018
Merged

Update policy list #56

merged 1 commit into from
Jan 18, 2018

Conversation

cw9
Copy link
Contributor

@cw9 cw9 commented Jan 18, 2018

Support 10m resolution for timers as well

@saminzadeh

@coveralls
Copy link

coveralls commented Jan 18, 2018

Coverage Status

Coverage remained the same at 57.333% when pulling ed5648a on chao-policy into 1441ef1 on master.

@cw9 cw9 merged commit cc4ae34 into master Jan 18, 2018
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.

3 participants