Merge pull request #2406 from vkargov/master
authorJoão Matos <joao@tritao.eu>
Fri, 8 Jan 2016 00:43:11 +0000 (00:43 +0000)
committerJoão Matos <joao@tritao.eu>
Fri, 8 Jan 2016 00:43:11 +0000 (00:43 +0000)
Fix the format statements in mono-gdb.


Trivial merge