projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4b2901b c025009)
Merge pull request #2984 from amccague/ping-task-fix
authorMarek Safar <marek.safar@gmail.com>
Thu, 12 May 2016 21:24:05 +0000 (23:24 +0200)
committerMarek Safar <marek.safar@gmail.com>
Thu, 12 May 2016 21:24:05 +0000 (23:24 +0200)
Resolved bug (8554) with Task Based Ping API


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