On 10/05/2017 02:31 PM, Andreas Schwab wrote: > On Okt 05 2017, Florian Weimer <fweimer@redhat.com> wrote: > >> Shall I commit it, then? > > Yes, please. Done. Thanks, Florian