They should have included a patch though and they should have contacted ffmpeg team first before spamming them with dozens of issues all at once.