New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

#98: fix the bug with excluded areas. #100

Merged

romankh3 merged 1 commit into master from #98/bug/fix-excluded-rectangles

May 31, 2019

Owner

romankh3 commented May 31, 2019

No description provided.


          #98: fix the bug with excluded areas.

84aed1f

romankh3 added the bug label

romankh3 self-assigned this

coveralls commented May 31, 2019

Coverage increased (+0.9%) to 100.0% when pulling 84aed1f on #98/bug/fix-excluded-rectangles into 32ad9c7 on master.

romankh3 merged commit 25e3f3b into master

romankh3 deleted the #98/bug/fix-excluded-rectangles branch

May 31, 2019 14:46

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