Skip to content

Issue344 deploybin#345

Merged
lasofivec merged 20 commits intodevelfrom
Issue344_deploybin
Feb 6, 2020
Merged

Issue344 deploybin#345
lasofivec merged 20 commits intodevelfrom
Issue344_deploybin

Conversation

@Didou09
Copy link
Copy Markdown
Member

@Didou09 Didou09 commented Feb 6, 2020

Main changes:

Issues:

Fixes, in devel, issue #344

Copy link
Copy Markdown
Collaborator

@lasofivec lasofivec left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It looks like this PR includes the changes of the last PR (#343), so it's a bit hard to see what changes are introduced only by this enhancement.
It is always better to start from devel unless it is not an independent feature addition.

Otherwise, awesome work :)

@lasofivec lasofivec merged commit 8ff31b7 into devel Feb 6, 2020
@Didou09
Copy link
Copy Markdown
Member Author

Didou09 commented Feb 6, 2020

Youu're absolutely right on every point:

But in this particular case, I needed these changes to fix this issue (there cumulative so to speak), so I had no choice ;-)
Thanks !

@Didou09 Didou09 deleted the Issue344_deploybin branch February 6, 2020 15:17
@Didou09 Didou09 mentioned this pull request Mar 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants