[Bug ada/111909] Filename case sensitivity defaulted wrongly on macOS

[simon at pushface dot org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111909

simon at pushface dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #4 from simon at pushface dot org ---
Fixed on mainline.