Skip to content

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

3 participants