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)
commit533d9a2b6c62768e73c14c957d1514565d26b119
tree453f95924bbcaab4bec1fd517f2ff20362c4c44d
parent6a5f1f9e178513dae43b319e298077028603c54e
parent8cbd16e9c7127c7479e9f1969e294df3f3a7e69f
Merge pull request #2406 from vkargov/master

Fix the format statements in mono-gdb.