On November 3, 2014 8:34:11 AM CET, Jakub Jelinek <ja...@redhat.com> wrote: >On Mon, Nov 03, 2014 at 08:15:32AM +0100, Marc Glisse wrote: >> Should I commit the following version, which passed testing as well? > >Yes, thanks.
Thanks for fixing this! Richard. > Jakub
