Thanks! Patch committed as revision 233779 on trunk and as revision 233780 on gcc-5-branch.
2016-02-26 19:14 GMT+01:00 Paul Richard Thomas <paul.richard.tho...@gmail.com>: > Dear Alessandro, > > Seconded! I saw your ping on my phone and was going to respond..... > well, now :-) > > Thanks for the patch > > Paul > > On 26 February 2016 at 18:29, Thomas Koenig <tkoe...@netcologne.de> wrote: >> Hi Allessandro, >> >>> * PING * >> >> >> Looks obvious and simple enough for me. >> >> OK. >> >> Thanks for the patch! >> >> Thomas >> > > > > -- > The difference between genius and stupidity is; genius has its limits. > > Albert Einstein
