Skip to content

Conversation

@yashvardhan747
Copy link
Contributor

@yashvardhan747 yashvardhan747 commented Apr 1, 2019

Fixes#132
Fixes #131

@dpsanders
Copy link
Member

LGTM, thanks!

Cc @mforets

@mforets
Copy link
Contributor

mforets commented Apr 1, 2019

This is an awesome feature, well done! 💯

@dpsanders dpsanders changed the title Few additions in pars_comparison and in separators and contractors Few additions in parse_comparison and in separators and contractors Apr 1, 2019
@dpsanders dpsanders merged commit 0eb69ba into JuliaIntervals:master Apr 1, 2019
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