Skip to content

Bug #1444 fix priority import for jj wang#1445

Merged
jan-petr merged 2 commits intodevelopfrom
bug-#1444_FixPriorityImportForJJWang
Jun 27, 2023
Merged

Bug #1444 fix priority import for jj wang#1445
jan-petr merged 2 commits intodevelopfrom
bug-#1444_FixPriorityImportForJJWang

Conversation

@jan-petr
Copy link
Contributor

Linked issue

#1444

@jan-petr jan-petr requested a review from maartenhammer June 26, 2023 19:42
@jan-petr jan-petr self-assigned this Jun 26, 2023
@jan-petr jan-petr linked an issue Jun 26, 2023 that may be closed by this pull request
@jan-petr jan-petr force-pushed the bug-#1444_FixPriorityImportForJJWang branch from 5a9f4a3 to e4ff641 Compare June 27, 2023 10:52
@jan-petr jan-petr merged commit e4ff641 into develop Jun 27, 2023
@jan-petr jan-petr deleted the bug-#1444_FixPriorityImportForJJWang branch June 27, 2023 10:52
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 import priority for JJWang multi-PLD

2 participants