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)
commit5a35198e2fdb794d48af81d80e783644a29d7291
tree77fbf4c3cc0b6599251ba8d78237652f1b5602ce
parentf9ed9371c166c18774c212f91c0031d266eb6057
parent8e4de412ac968b664c71c41d906c91244724581e
Merge pull request #93 from konrad-kruczynski/dispatcher_timer_fix

[Fix] Fix for bug #677265 with DispatcherTimer.