Merge pull request #660 from danvk/sync-block-redraw
authorDan Vanderkam <danvdk@gmail.com>
Wed, 16 Sep 2015 20:08:47 +0000 (16:08 -0400)
committerDan Vanderkam <danvdk@gmail.com>
Wed, 16 Sep 2015 20:08:47 +0000 (16:08 -0400)
Fix true/false redraw blocking bug in synchronizer


Trivial merge