`global`: use priority monitors#10329

Maria-12648430 wants to merge 1 commit intoerlang:mastererlang/otp:masterfrom

Maria-12648430:priority_monitors_in_globalMaria-12648430/otp:priority_monitors_in_globalCopy head branch name to clipboard