On Sun, May 6, 2018 at 11:16 PM, Michael Niedermayer <michael at niedermayer.cc> wrote: > On Sun, May 06, 2018 at 06:55:01PM +0300, Jan Ekström wrote: >> Thanks, pushed. This should be back-ported to release/4.0 I guess? > > probably yes > > thanks > Finally got the time, cherry-pick -x'd and pushed to release/4.0. Jan