On Nov 22, 2013, at 10:13 AM, Jakub Jelinek <ja...@redhat.com> wrote: >> This is exactly the patch referenced in the pointer to the upstream repo. >> Arno, does this fix the build for you? >> >> Ok? > > Yes
Committed revision 205285.
On Nov 22, 2013, at 10:13 AM, Jakub Jelinek <ja...@redhat.com> wrote: >> This is exactly the patch referenced in the pointer to the upstream repo. >> Arno, does this fix the build for you? >> >> Ok? > > Yes
Committed revision 205285.