Skip to content

Conversation

@noctuid
Copy link
Contributor

@noctuid noctuid commented Apr 15, 2018

Re #415.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 62.357% when pulling 582c999 on noctuid:obsolete-atom into 36823cf on abo-abo:master.

1 similar comment
@coveralls
Copy link

Coverage Status

Coverage remained the same at 62.357% when pulling 582c999 on noctuid:obsolete-atom into 36823cf on abo-abo:master.

@abo-abo abo-abo merged commit 582c999 into abo-abo:master Apr 15, 2018
@abo-abo
Copy link
Owner

abo-abo commented Apr 15, 2018

Thanks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants