Commit 96b7ae248368db70dba27ee12f36f7b810a46af0

Paul Eggert 2023-11-10T22:33:49

stdio: fix port to older macOS * lib/stdio.in.h: It’s pre macOS 13, not pre macOS 10.13. Problem reported by Sevan Janiyan in: https://lists.gnu.org/r/bug-gnulib/2023-11/msg00066.html et seq.