Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Re-merge 'devel' into 'master'. #22
Re-merge 'devel' into 'master'. #22
Changes from all commits
fa23184
01c05e0
e6907e8
61b7768
540878a
5958d3a
4c6d302
fab52d1
e75dc03
76ee6ee
2e4da80
2d40e05
c805b97
c28d0de
91c7726
421921d
7638ca4
8d3439c
3815ace
8fa5932
4f086b8
cd0dd8d
a634eb5
1f9e74d
73686d9
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
This file was deleted.