manager: renumber priorities
authorLennart Poettering <lennart@poettering.net>
Fri, 19 Jan 2024 13:08:38 +0000 (14:08 +0100)
committerLennart Poettering <lennart@poettering.net>
Fri, 19 Jan 2024 15:46:28 +0000 (16:46 +0100)
commit90c40ea4bff0259fda98295b2e9e9f329b38f6b4
treeb9a9876a504fd7094a482fde5e7b3928a25343c3
parentf3a269a9354261d55754963d568112b6ab94ba81
manager: renumber priorities

no actual change, let's just make sure the priorities are densely
defined without "holes". Just to make this prettier and less surprising.
src/core/manager.h