Jakub Jelinek <ja...@redhat.com> writes: > On Wed, Nov 19, 2014 at 02:23:47PM -0800, Mike Stump wrote: >> On Nov 19, 2014, at 1:57 PM, Jakub Jelinek <ja...@redhat.com> wrote: >> > Though, following patch is just fine for me too, I don't think it will >> > make a significant difference: >> >> This version is fine by me. > > Richard, are you ok with that too?
Yeah, looks good to me, thanks. Richard