PR #2031 marlin: improve build

marlin: improve build #2031

danieldk merged 1 commit into main from maintenance/marlin-build

marlin: improve build

c7e6ee5b

Narsil approved these changes on 2024-06-06

danieldk merged 51621439 into main 2 years ago

danieldk deleted the maintenance/marlin-build branch 2 years ago

Reviewers

Narsil

Assignees

No one assigned

Labels

None yet

Milestone

No milestone