davidak 92bcb61127 replace "Mac OS X" with "macOS" ... except in older release notes where the name was actually Mac OS X.		2017-07-30 12:26:17 +02:00
..
manual	replace "Mac OS X" with "macOS"	2017-07-30 12:26:17 +02:00