From: Marcos Henrich <marcoshenrich@gmail.com>
Date: Mon, 15 Feb 2016 12:21:29 +0000 (+0000)
Subject: Merge pull request #2400 from esdrubal/extrahead
X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=mono.git;a=commitdiff_plain;h=355d2c5eca6ec320ccd4097d7f196b26a721ea94

Merge pull request #2400 from esdrubal/extrahead

[System] Fix extra head in config bug.
---

355d2c5eca6ec320ccd4097d7f196b26a721ea94