Hello Leo, thanks for your super fast reply!
On Tue, Jul 17, 2018 at 05:04:41PM -0400, Leo Famulari wrote: > > So I see two possible courses of action: > > - Keep mplayer and compile it with ffmpeg-3.4, which requires us to keep > > also > > this older ffmpeg package around. > I think we will probably need to keep ffmpeg-2 and ffmpeg-3 for a while > anyways, so we might as well fix the mplayer package now. Okay, done in commit 21e6428dc7851bf06a68beef6e4125553aef8d88. Andreas
