Skip to content

Conversation

@dwalluck
Copy link
Contributor

…generate

@remkop remkop merged commit 09a87f7 into remkop:master Sep 18, 2018
@remkop
Copy link
Owner

remkop commented Sep 18, 2018

Merged. Many thanks!

remkop added a commit that referenced this pull request Sep 20, 2018
@remkop remkop added this to the 3.6.1 milestone Sep 20, 2018
@dwalluck dwalluck deleted the generate-options-switch branch December 1, 2020 01:16
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