On Sat, 12 Oct 2013 00:00:43 +0200, Michael Niedermayer wrote: > Signed-off-by: Michael Niedermayer <michaelni at gmx.at> > --- > doc/developer.texi | 5 ++--- > 1 file changed, 2 insertions(+), 3 deletions(-) Fine with me.