Skip to content

Bug #1471 bug in fabber single te#1472

Merged
jan-petr merged 1 commit intodevelopfrom
bug-#1471_BugInFABBER_singleTE
Aug 10, 2023
Merged

Bug #1471 bug in fabber single te#1472
jan-petr merged 1 commit intodevelopfrom
bug-#1471_BugInFABBER_singleTE

Conversation

@jan-petr
Copy link
Contributor

@jan-petr jan-petr commented Aug 9, 2023

Linked issue

#1471

@jan-petr jan-petr requested a review from BeatrizPadrela August 9, 2023 16:15
@jan-petr jan-petr self-assigned this Aug 9, 2023
@jan-petr jan-petr changed the base branch from main to develop August 9, 2023 16:15
@jan-petr jan-petr linked an issue Aug 9, 2023 that may be closed by this pull request
@jan-petr jan-petr merged commit 7f42e26 into develop Aug 10, 2023
@jan-petr jan-petr deleted the bug-#1471_BugInFABBER_singleTE branch August 10, 2023 09:12
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 forcing FABBER instead of BASIL

2 participants