Michael Klein 1f62594deb Allow managed-runtime badge to be dynamic (#14853)		2022-10-05 11:48:03 +02:00
..
selector	Allow managed-runtime badge to be dynamic (#14853)	2022-10-05 11:48:03 +02:00