zhuk 9e0e9eb772 Fix build with newer Mono.
Noticed by many (not me because I had older Mono...).
Patch from upstream bug #339977 via nigel@, thanks a lot!
2015-01-22 22:06:39 +00:00
..
2015-01-22 22:06:39 +00:00
2015-01-22 22:06:39 +00:00