Paolo Carlini Thu, 06 Dec 2012 08:16:56 -0800
.. looks like the patch fixes c++/55245 too.
Thanks! Paolo.