[profiler] Simplify the encoding of monitor events.
authorAlex Rønne Petersen <alexrp@xamarin.com>
Sun, 18 Jun 2017 03:41:28 +0000 (05:41 +0200)
committerAlex Rønne Petersen <alexrp@xamarin.com>
Mon, 19 Jun 2017 22:30:45 +0000 (00:30 +0200)
The way the event was encoded was highly irregular with respect to the rest of
the format.


No differences found