Julian Brost 99bb687350 INITIALIZE_ONCE_WITH_PRIORITY: use enum for priority values
Change the type of the priority values from int to a new enum. By replacing the
magic int values throughout the code base with named values, there is now a
single place where all priority values are defined and you get an overview over
the initialization order.
2023-01-18 15:57:27 +01:00
..
2020-02-11 16:47:50 +01:00
2021-02-03 09:54:57 +01:00
2022-05-11 17:50:12 +02:00
2022-03-24 16:42:18 +01:00
2022-03-24 16:42:18 +01:00
2021-02-03 09:54:57 +01:00
2021-02-03 09:54:57 +01:00
2021-02-03 09:54:57 +01:00