projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f9ed937 8e4de41)
Merge pull request #93 from konrad-kruczynski/dispatcher_timer_fix
authorMiguel de Icaza <miguel@gnome.org>
Thu, 28 Jul 2011 14:32:14 +0000 (07:32 -0700)
committerMiguel de Icaza <miguel@gnome.org>
Thu, 28 Jul 2011 14:32:14 +0000 (07:32 -0700)
[Fix] Fix for bug #677265 with DispatcherTimer.


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