Skip to main content

Swapping timers when priorities change