diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -7,6 +7,23 @@
 *de facto* standard Haskell versioning scheme.
 
 
+0.9.1.2
+-------
+
+- **Date**    2017-12-12
+- **Git tag** [dejafu-0.9.1.2][]
+- **Hackage** https://hackage.haskell.org/package/dejafu-0.9.1.2
+
+### Miscellaneous
+
+- The upper bound on leancheck was bumped to <0.8.
+
+[dejafu-0.9.1.2]: https://github.com/barrucadu/dejafu/releases/tag/dejafu-0.9.1.2
+
+
+---------------------------------------------------------------------------------------------------
+
+
 0.9.1.1
 -------
 
diff --git a/dejafu.cabal b/dejafu.cabal
--- a/dejafu.cabal
+++ b/dejafu.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                dejafu
-version:             0.9.1.1
+version:             0.9.1.2
 synopsis:            Systematic testing for Haskell concurrency.
 
 description:
@@ -37,7 +37,7 @@
 source-repository this
   type:     git
   location: https://github.com/barrucadu/dejafu.git
-  tag:      dejafu-0.9.1.1
+  tag:      dejafu-0.9.1.2
 
 library
   exposed-modules:     Test.DejaFu
@@ -63,7 +63,7 @@
                      , containers        >=0.5 && <0.6
                      , deepseq           >=1.1 && <2
                      , exceptions        >=0.7 && <0.9
-                     , leancheck         >=0.6 && <0.7
+                     , leancheck         >=0.6 && <0.8
                      , random            >=1.0 && <1.2
                      , ref-fd            >=0.4 && <0.5
                      , transformers      >=0.4  && <0.6