Merge branch 'master' of github.com:diagrams/monoid-extras

diagrams · Aug 12, 2022 · 314f635 · 314f635
2 parents 8cd1d82 + 3593acd
commit 314f635
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/monoid-extras.cabal b/monoid-extras.cabal
@@ -1,5 +1,6 @@
 name:                monoid-extras
 version:             0.6.1
+x-revision:          1
 synopsis:            Various extra monoid-related definitions and utilities
 description:         Various extra monoid-related definitions and utilities,
                      such as monoid actions, monoid coproducts, semi-direct