Skip to content

Conversation

@alfonsogarciacaro
Copy link
Contributor

@dsyme
Copy link
Contributor

dsyme commented Feb 14, 2017

you will need to change service.fsi as well

@alfonsogarciacaro
Copy link
Contributor Author

alfonsogarciacaro commented Feb 14, 2017

Ok, this is what happens when you let the CI server to do all the work :) I fixed it, hopefully it'll be fine this time.

@dsyme dsyme merged commit ba729c4 into fsharp:master Feb 15, 2017
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.

2 participants