Build

Merge pull request #1531 from plule/fix-follow-overlay #6250

Job	Run time
docs / Build linux64	1m 16s
lint / lint	20s
test / Windows MSVC / Build win64	12m 27s
test / Linux gcc-12 / Build linux64	5m 4s
test / Linux gcc-11 / Build linux64	3m 33s
test / Run Linux test suite / Test (ubuntu, gcc-11, default plugins, default config)	54s
test / Run Linux test suite (gcc-12, all plugins) / Test (ubuntu, gcc-12, all plugins, default config)	55s
test / Run Windows test suite (empty config) / Test (windows, msvc, default plugins, empty config)	1m 16s
test / Run Windows test suite / Test (windows, msvc, default plugins, default config)	1m 7s
	26m 52s

Provide feedback