gitextensions/gitextensions — pull request #2130 by fraga (2013-11-18 03:07:01+00:00)
Title: Fix mono build

This will fix the mono build for a non-windows platform.