Skip to content

Update Piranha#632

Merged
certik merged 1 commit intomasterfrom
piranha
Feb 17, 2015
Merged

Update Piranha#632
certik merged 1 commit intomasterfrom
piranha

Conversation

@certik
Copy link
Copy Markdown
Member

@certik certik commented Feb 13, 2015

Changes:

  • Use the latest version
  • Use the Release mode
  • Skip building tests (those are not installed anyway, so it is just a waste of
    time to build them)

Changes:

* Use the latest version
* Use the Release mode
* Skip building tests (those are not installed anyway, so it is just a waste of
  time to build them)
@certik
Copy link
Copy Markdown
Member Author

certik commented Feb 13, 2015

@bluescarni I updated the Piranha package to your latest development version.

@certik
Copy link
Copy Markdown
Member Author

certik commented Feb 17, 2015

Tests pass, merging.

certik added a commit that referenced this pull request Feb 17, 2015
@certik certik merged commit 0aba1f9 into master Feb 17, 2015
@certik certik deleted the piranha branch February 17, 2015 17:30
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