]> granicus.if.org Git - graphviz/commitdiff
Merge pull request #1159 from ErwinJanssen/fix/travis-build
authorJohn Ellson <john.ellson@comcast.net>
Wed, 14 Sep 2016 15:43:00 +0000 (11:43 -0400)
committerGitHub <noreply@github.com>
Wed, 14 Sep 2016 15:43:00 +0000 (11:43 -0400)
Update Criterion submodule to fix Travis build


Trivial merge