Re: ffmpeg in devel: to bump or not to bump