Re: [PATCH] Make direct emission of time profiler counter

[Martin Liška]

On 11/05/2016 09:38 AM, Jan Hubicka wrote:
> Looks OK if it passes.
> 
> Honza

Thanks, fixed on trunk as r241894.
Martin