projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3cb0fda 63e7f0c)
Merge pull request #1711 from jldgit/jldgit-gdb-script
authorJoão Matos <joao@tritao.eu>
Tue, 14 Apr 2015 21:05:02 +0000 (22:05 +0100)
committerJoão Matos <joao@tritao.eu>
Tue, 14 Apr 2015 21:05:02 +0000 (22:05 +0100)
Corrected mono-gdb.py use of "\u%X".format (val)


Trivial merge
my mono mirror. check out Moved to http://github.com/mono/mono