Add ability to set priority grouping.#431

Open

reitermarkus wants to merge 4 commits intorust-embedded:masterfrom

reitermarkus:priority-grouping

Commits on May 5, 2022

Commits on May 6, 2022

Update docs.
reitermarkus
authored