From: Mark Probst <mark.probst@gmail.com>
Date: Tue, 31 May 2016 18:03:43 +0000 (-0700)
Subject: Merge pull request #3019 from schani/fix-major-pinning
X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=mono.git;a=commitdiff_plain;h=9c3b78485af697e24d130f8518551b488e5c9f90

Merge pull request #3019 from schani/fix-major-pinning

Fix major pinning, and cheap pinning stats by default
---

9c3b78485af697e24d130f8518551b488e5c9f90