Merge pull request #1949 from lewurm/fixtype
authorAlexis Christoforides <alexis@thenull.net>
Thu, 8 Oct 2015 19:27:12 +0000 (15:27 -0400)
committerAlexis Christoforides <alexis@thenull.net>
Thu, 8 Oct 2015 19:27:12 +0000 (15:27 -0400)
[mono-config] use right type for result of strlen


Trivial merge