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

Proposel to Fix Issue #317 #322

Closed
wants to merge 19 commits into from
Closed

Conversation

MoorFGDES
Copy link

This pull request is an follow up to my comment on Issue #317. The fork has more detailed description in its README.

@BastianMelsheimer
Copy link
Collaborator

We have adapted your solution to our dev branch and will roll it out with the next release. So I'm gonna deny this now to avoid a double fix ;)
Thanks for the input!

@MoorFGDES
Copy link
Author

Thank you for following up our request. I am looking forward to the roll-out. I will delete my fork in due course.

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.

2 participants