[FFmpeg-devel] Pull requests

[wm4]

On Mon, 26 Feb 2018 17:15:26 -0500
Bjorn Roche <bjorn at giphy.com> wrote:

> Okay, thanks Nicolas.
> 
> I already submitted a patch to the mailing list a few months ago, I was
> just hoping for an easier way to keep it fresh since it's gone stale, and I
> had some more fixes for it.

Just ping it a few times or resend it. It's pretty easy for patches to
get lost/ignored, but we don't use the github mirror's PR system at
all. Github merely doesn't let us disable it.