Skip to content

Use the dev tools priority names in the UI if we are given the net or blink names.#1529

Merged
tkadlec merged 1 commit intomasterfrom
priorities-map
Sep 14, 2021
Merged

Use the dev tools priority names in the UI if we are given the net or blink names.#1529
tkadlec merged 1 commit intomasterfrom
priorities-map

Commits