Markus Trippelsdorf Wed, 30 Jul 2014 20:50:12 -0700
On 2014.07.30 at 17:31 -0400, Jason Merrill wrote: > I think this should fix it.
Indeed it does. Thanks. -- Markus