On 07/03/2012 03:52 PM, Adam Domurad wrote: > Thanks, looks good:) > Reproducers & bugfixes OK for HEAD. > Remember to fix my little nitpick with the bugfix patch though:). > > Cheers, Adam. Thanks again for looking over the patches. All patches have been pushed! :) -- Cheers, Saad Mohammad