[tor-bugs] [Tor Bug Tracker & Wiki] Batch modify: #31091, #31107, #31408, #31483

[Tor Bug Tracker & Wiki]

Batch modification to #31091, #31107, #31408, #31483 by nickm:
priority to Very High

Comment:
Make all 042-must objects "Very High" priority.

--
Tickets URL: <https://trac.torproject.org/projects/tor/query?id=31091%2C31107%2C31408%2C31483>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online