dgutov/diff-hl — pull request #30 by sunesimonsen (2014-12-09 09:54:55+00:00)
Title: global-auto-revert-mode integration

Update diff-hl when global-auto-revert-mode-hook is called.