Merge pull request #1943 from alexrp/profiler-improvements
authorRodrigo Kumpera <kumpera@gmail.com>
Mon, 27 Jul 2015 23:10:23 +0000 (19:10 -0400)
committerRodrigo Kumpera <kumpera@gmail.com>
Mon, 27 Jul 2015 23:10:23 +0000 (19:10 -0400)
commit187bc41b1a52f333b5105ba1028e82559c90091b
tree517f85a9bc2893a66ddaf09b110dbeabcb731fbb
parent37922e383fc7e4ff8591888a0a04383525d1498c
parent0329a0f6d45050fd4a926396a6d0a6ea5f85a0bc
Merge pull request #1943 from alexrp/profiler-improvements

Follow-up to #1926