git version 2.4.0
Removing ffbuild/config.fate
Removing ffbuild/config.log
From https://git.ffmpeg.org/ffmpeg
 * branch            master     -> FETCH_HEAD
HEAD is now at f93cd72 fftools/ffprobe: drop duplicate HDR10+ window corner fields
f93cd72dde3056c2efb39e11589745d78cd24409