Skip to content
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.

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

Merge back 0.4.0 release commits to develop #312

Merged
merged 3 commits into from Jan 19, 2017
Merged

Merge back 0.4.0 release commits to develop #312

merged 3 commits into from Jan 19, 2017

Conversation

guperrot
Copy link
Member

Please approve but merge only after merging version increment change on develop (#311).

@msftclas
Copy link

Hi @guperrot, I'm your friendly neighborhood Microsoft Pull Request Bot (You can call me MSBOT). Thanks for your contribution!


It looks like you're a Microsoft contributor (Guillaume Perrot). If you're full-time, we DON'T require a Contribution License Agreement. If you are a vendor, please DO sign the electronic Contribution License Agreement. It will take 2 minutes and there's no faxing! https://cla.microsoft.com.

TTYL, MSBOT;

@codecov-io
Copy link

codecov-io commented Jan 19, 2017

Current coverage is 100% (diff: 100%)

Merging #312 into develop will not change coverage

@@           develop   #312   diff @@
=====================================
  Files           60     60          
  Lines         2725   2725          
  Methods          0      0          
  Messages         0      0          
  Branches       499    499          
=====================================
  Hits          2725   2725          
  Misses           0      0          
  Partials         0      0          

Powered by Codecov. Last update 835d7bd...5cff320

@guperrot guperrot merged commit db814a7 into develop Jan 19, 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.

None yet

4 participants