Skip to content

Bug #1105 revert add optional#1107

Merged
jan-petr merged 5 commits intodevelopfrom
bug-#1105_RevertAddOptional
May 2, 2022
Merged

Bug #1105 revert add optional#1107
jan-petr merged 5 commits intodevelopfrom
bug-#1105_RevertAddOptional

Conversation

@jan-petr
Copy link
Contributor

@jan-petr jan-petr commented May 2, 2022

Linked issue

Closes #1105

@jan-petr jan-petr requested a review from HenkMutsaerts May 2, 2022 09:00
@jan-petr jan-petr self-assigned this May 2, 2022
@jan-petr jan-petr linked an issue May 2, 2022 that may be closed by this pull request
4 tasks
@HenkMutsaerts HenkMutsaerts mentioned this pull request May 2, 2022
4 tasks
@jan-petr jan-petr force-pushed the bug-#1105_RevertAddOptional branch from 1deb50e to 954d47a Compare May 2, 2022 09:58
@jan-petr jan-petr merged commit 954d47a into develop May 2, 2022
@jan-petr jan-petr deleted the bug-#1105_RevertAddOptional branch May 2, 2022 11:27
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.

Revert use of addOptional

2 participants