Merge pull request #761 from justinsg/master
authorDan Vanderkam <danvdk@gmail.com>
Mon, 11 Jul 2016 22:20:41 +0000 (18:20 -0400)
committerGitHub <noreply@github.com>
Mon, 11 Jul 2016 22:20:41 +0000 (18:20 -0400)
commit6eef8c1b9ec7b247ee2b508032bd3ec957d0fb68
tree7072d780f927b120673fa9760bf4cd41e6e00995
parent287c4d68da47248a301bc9087d3b3c7f4ea36a44
parentb55a71d768d2f8de62877c32b3aec9e9975ac389
Merge pull request #761 from justinsg/master

Check for new options before updating synchronised graphs (Fixes #760)