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

Add bionic #115

Merged
merged 1 commit into from
Jan 5, 2018
Merged

Add bionic #115

merged 1 commit into from
Jan 5, 2018

Conversation

clalancette
Copy link
Contributor

Signed-off-by: Chris Lalancette [email protected]

Signed-off-by: Chris Lalancette <[email protected]>
@coveralls
Copy link

coveralls commented Jan 5, 2018

Coverage Status

Coverage remained the same at 81.992% when pulling f00e21f on bionic into a8dcef1 on master.

@tfoote tfoote merged commit 05682b4 into master Jan 5, 2018
@tfoote tfoote deleted the bionic branch January 5, 2018 19:22
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