Christopher Mühl 79aff87f26 Clean up some duplicated definitions		2025-07-31 10:06:20 +02:00
..
christopher@cobalt	Clean up some duplicated definitions	2025-07-31 10:06:20 +02:00