Skip to content
This repository was archived by the owner on Mar 27, 2020. It is now read-only.

Fix #30.2 Fix rounding in ChallengeSolution.ClearanceQuery #33

Merged
merged 1 commit into from
May 6, 2018
Merged

Fix #30.2 Fix rounding in ChallengeSolution.ClearanceQuery #33

merged 1 commit into from
May 6, 2018

Conversation

grandsilence
Copy link
Contributor

Fix issue #32 (sub-issue 2).

@grandsilence grandsilence changed the title Fix rounding in ChallengeSolution.ClearanceQuery Fix #30.2 Fix rounding in ChallengeSolution.ClearanceQuery Apr 30, 2018
@elcattivo elcattivo merged commit 60085e8 into elcattivo:master May 6, 2018
@elcattivo
Copy link
Owner

Thanks.

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.

2 participants