Skip to content

Comments

Add mlkit support and bump to 1.3.0#22

Merged
gian merged 1 commit intomasterfrom
gian/mlkit-support
Oct 1, 2014
Merged

Add mlkit support and bump to 1.3.0#22
gian merged 1 commit intomasterfrom
gian/mlkit-support

Conversation

@gian
Copy link
Member

@gian gian commented Sep 26, 2014

We might as well add MLkit support given its glorious resurrection :)

I also got rid of the dependency on the SMLNJ Util library, given that we were only using it for sorting (it's something of an impediment for PolyML support too).

FYI @robsimmons, @melsman - I'll likely merge this as soon as someone agrees.

gian added a commit that referenced this pull request Oct 1, 2014
Add mlkit support and bump to 1.3.0
@gian gian merged commit bafae46 into master Oct 1, 2014
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.

1 participant