On 2014.07.30 at 17:31 -0400, Jason Merrill wrote:

> I think this should fix it.

Indeed it does. Thanks.

-- 
Markus

Reply via email to