From: Alex Rønne Petersen Date: Tue, 17 Mar 2015 22:02:00 +0000 (+0100) Subject: Merge pull request #1636 from alexrp/profiler-stuff X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=mono.git;a=commitdiff_plain;h=796f6ccded849cce095bae2502946285ec2a99dd Merge pull request #1636 from alexrp/profiler-stuff [profiler] Redesign buffer flushing and method reporting. --- 796f6ccded849cce095bae2502946285ec2a99dd