On Sat, 19 Aug 2023 22:33:49 -0600 Brook Milligan <brook%nmsu.edu@localhost> wrote: > I would like to comit the following patch to cover this case. > +OSX_SDK_MAP.13.5= 13.3 This is correct, please do. Thanks! -Tobias