Skip to content

#1367 Minor fix#1368

Merged
jan-petr merged 1 commit intodevelopfrom
bug-#1367_Bugfix
Apr 4, 2023
Merged

#1367 Minor fix#1368
jan-petr merged 1 commit intodevelopfrom
bug-#1367_Bugfix

Conversation

@jan-petr
Copy link
Contributor

@jan-petr jan-petr commented Apr 4, 2023

Linked issue

Close #1367

@jan-petr jan-petr self-assigned this Apr 4, 2023
@jan-petr jan-petr requested a review from maartenhammer April 4, 2023 15:23
@jan-petr jan-petr linked an issue Apr 4, 2023 that may be closed by this pull request
@jan-petr jan-petr merged commit 450e16b into develop Apr 4, 2023
@jan-petr jan-petr deleted the bug-#1367_Bugfix branch April 4, 2023 17:33
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.

Fix bug in #1300

2 participants