Merge pull request #5267 from merijn/master
commitba4d8370750a85b251d566acbee46da8db764e26
authorMikhail Glushenkov <mikhail.glushenkov@gmail.com>
Wed, 18 Apr 2018 07:46:53 +0000 (18 08:46 +0100)
committerGitHub <noreply@github.com>
Wed, 18 Apr 2018 07:46:53 +0000 (18 08:46 +0100)
tree40e92da784285d88648089d40093cfddbe892422
parentb4894aa8ba1d8619f50ba01e7e4850d0cd8e8f5f
parent3740ba9a5408511ce2d5394a3f864d476f9c172e
Merge pull request #5267 from merijn/master

Add Semigroup instance to fix CI test failures