Re: [creduce-bugs] template-non-type-arg-to-int failed to modify testcase

[Markus Trippelsdorf]

On 2015.11.05 at 16:58 +0100, John Regehr wrote:
> Ok done, sorry about that.

Thanks for the quick fix.

-- 
Markus