add missing header, fixes compilation of 2.5 on macOS #18432

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ubuntu 22.04	39m 13s
macOS 12 x64	37m 48s
macOS 12 arm64	28m 59s
Windows 2019 (MSVC)	18m 27s
Update manifest file on download server	31s
	2h 4m 58s