80a013fce1e182bb2dbb581276c97cb53032df6c		branch 'master' of git+ssh://git.debian.org/git/pkg-manpages-fr/manpages-fr-extra
53334d0962847305e044dcbcc882f8f1d95c2e0a	not-for-merge	branch 'sudo' of git+ssh://git.debian.org/git/pkg-manpages-fr/manpages-fr-extra
