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.7.0.3
+-------
+
+- **Date**    2017-11-02
+- **Git tag** [tasty-dejafu-0.7.0.3][]
+- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.7.0.3
+
+### Miscellaneous
+
+- tasty-0.12 support
+
+[tasty-dejafu-0.7.0.3]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.7.0.3
+
+
+---------------------------------------------------------------------------------------------------
+
+
 0.7.0.2
 -------
 
diff --git a/Test/Tasty/DejaFu.hs b/Test/Tasty/DejaFu.hs
--- a/Test/Tasty/DejaFu.hs
+++ b/Test/Tasty/DejaFu.hs
@@ -5,7 +5,7 @@
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE TypeSynonymInstances #-}
 
-#if __GLASGOW_HASKELL__ >= 800
+#if MIN_TOOL_VERSION_ghc(8,0,0)
 -- Impredicative polymorphism checks got stronger in GHC 8, breaking
 -- the use of 'unsafeCoerce' below.
 {-# LANGUAGE ImpredicativeTypes #-}
diff --git a/tasty-dejafu.cabal b/tasty-dejafu.cabal
--- a/tasty-dejafu.cabal
+++ b/tasty-dejafu.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                tasty-dejafu
-version:             0.7.0.2
+version:             0.7.0.3
 synopsis:            Deja Fu support for the Tasty test framework.
 
 description:
@@ -30,7 +30,7 @@
 source-repository this
   type:     git
   location: https://github.com/barrucadu/dejafu.git
-  tag:      tasty-dejafu-0.7.0.2
+  tag:      tasty-dejafu-0.7.0.3
 
 library
   exposed-modules:     Test.Tasty.DejaFu
@@ -40,6 +40,6 @@
                      , dejafu >=0.7.1  && <0.10
                      , random >=1.0  && <1.2
                      , tagged >=0.8  && <0.9
-                     , tasty  >=0.10 && <0.12
+                     , tasty  >=0.10 && <0.13
   -- hs-source-dirs:      
   default-language:    Haskell2010