This repository has been archived by the owner on Jul 7, 2023. It is now read-only.

Remove abort #155

Merged

markis merged 1 commit into master from remove_abort

Sep 9, 2019

Owner

markis commented Sep 9, 2019

This will fix #137


          Remove abort

0018b63

coveralls commented Sep 9, 2019

Coverage remained the same at 100.0% when pulling 0018b63 on remove_abort into 0c6e78d on master.

markis merged commit ab05ae6 into master

markis deleted the remove_abort branch

September 9, 2019 16:18

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