projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b34a3d6 30acb7c)
Merge pull request #3953 from rolfbjarne/offsets-tool-autoreclone
authorJoão Matos <joao@tritao.eu>
Thu, 17 Nov 2016 13:29:27 +0000 (13:29 +0000)
committerGitHub <noreply@github.com>
Thu, 17 Nov 2016 13:29:27 +0000 (13:29 +0000)
[offsets-tool] Make sure to re-clone when the hash for the cpp binaries changes.


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