Not a big deal, but for posterity, Matthew wrote in the commit message for < https://github.com/racket/racket/commit/710320e>:
> "Mac OS X" -> "Mac OS" > Although "macOS" is the correct name for Apple's current desktop OS, > we've decided to go with "Mac OS" to cover all of Apple's Unix-like > desktop OS versions. The label "Mac OS" is more readable, clear in > context (i.e., unlikely to be confused with the Mac OSes that > proceeded Mac OS X), and as likely to match Apple's future OS names > as anything. > (There was more discussion about this somewhere at the time, but I couldn't find it easily.) Thanks for all the work getting out the release! -Philip On Sat, May 2, 2020 at 1:50 PM 'John Clements' via Racket Developers < racket-dev@googlegroups.com> wrote: > Thanks, changed! > > John > > > On Apr 29, 2020, at 22:06, Jesse Alama <je...@lisp.sh> wrote: > > > > On Wednesday, April 29, 2020 at 10:07:29 PM UTC+2, clements wrote: > > > > * DrRacket now supports the use of the keyboard in the OS X Catalina > > "Open File" dialog. > > > > The preferred nomenclature is "macOS" ( > https://www.apple.com/macos/catalina/). > > > > -- > > You received this message because you are subscribed to the Google > Groups "Racket Developers" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to racket-dev+unsubscr...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/d65d3c38-e880-42a8-ad5c-c5e9ac6f1de5%40googlegroups.com > . > > > > -- > You received this message because you are subscribed to the Google Groups > "Racket Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-dev+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/1c02479a-5732-4c3b-a859-318971096216%40mtasv.net > . > -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAH3z3gaX6kp6_Bc_bm7h4tvkKiuF3iOvp-5eS_hYom6bpKtQjQ%40mail.gmail.com.
