Dan Kegel 111661658b .github: use proper name for Mac OS 11 (10.16 was unofficial; we could also use 10.15)		2022-04-18 22:52:14 +02:00
..
workflows	.github: use proper name for Mac OS 11 (10.16 was unofficial; we could also use 10.15)	2022-04-18 22:52:14 +02:00