Skip to content

Merge Release/3.6.0 into Master#513

Merged
loremattei merged 107 commits into
masterfrom
release/3.6.0
Oct 17, 2018
Merged

Merge Release/3.6.0 into Master#513
loremattei merged 107 commits into
masterfrom
release/3.6.0

Conversation

@loremattei
Copy link
Copy Markdown
Contributor

Merge Release/3.6.0 into Master

adlk and others added 25 commits August 3, 2018 13:06
closes #478 [ci skip]
The target is named `build-source` (singular, not plural)
…0-into-develop

Revert "Merge release 3.4.0 into develop"
* Add make target `rebuild-deps` to rebuild native dependencies

* Update docs for `rebuild-deps`

* Use rebuild-deps target
Merge Release/3.5.0 into develop
@adlk adlk self-requested a review October 16, 2018 11:10
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.