Joris Vink dad6cc7bfe remove const from kore_runtime_count(). ... via some github PR, please don't make me interact with github too much.		2023-11-03 12:25:39 +01:00
..
kore	remove const from kore_runtime_count().	2023-11-03 12:25:39 +01:00