diff --git a/ChangeLog b/ChangeLog
index 90209941..4c97d61e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,4 @@
-Version 1.1.0+
+Version 1.2.0 2020-07-12 by luispedro
 	* Add load_fastq_directory to builtin functions
 	* Better messages when using `lock1`
 	* Enable specifying *all* module resources by URL with download on first
diff --git a/NGLess/Version.hs b/NGLess/Version.hs
index 6883e9c9..e7b576fa 100644
--- a/NGLess/Version.hs
+++ b/NGLess/Version.hs
@@ -19,7 +19,7 @@ versionStr :: String
 versionStr = showVersion version
 
 dateStr :: String
-dateStr = "Unreleased (post v1.1.1)"
+dateStr = "12 July 2020"
 
 gitHashStr :: String
 gitHashStr = $(gitHash)
diff --git a/README.md b/README.md
index 31a6931b..88ccebfa 100644
--- a/README.md
+++ b/README.md
@@ -100,6 +100,7 @@ The following sequence of commands should download and build the software
 
     git clone https://github.com/ngless-toolkit/ngless
     cd ngless
+    stack setup
     make
 
 To install, you can use the following command (replace `<PREFIX>` with
diff --git a/docs/sources/reproducible.md b/docs/sources/reproducible.md
index f8783153..ef78ef95 100644
--- a/docs/sources/reproducible.md
+++ b/docs/sources/reproducible.md
@@ -18,7 +18,7 @@ The `write()` function call supports the argument `auto_comments` which will
 add (as comments) meta information to the output. In particular, you can use
 the `{script}` auto comment to add the script to your output. For example:
 
-    ngless '0.8'
+    ngless '1.2'
     mapped = samfile('input.bam')
 
     counted = count(mapped, features=['seqname'])
diff --git a/docs/sources/whatsnew.rst b/docs/sources/whatsnew.rst
index 9b371226..d63df656 100644
--- a/docs/sources/whatsnew.rst
+++ b/docs/sources/whatsnew.rst
@@ -3,8 +3,10 @@ What's New (History)
 ====================
 
 
-Version 1.2.0 (Unreleased)
---------------------------
+Version 1.2.0
+-------------
+
+Released *12 July 2020*.
 
 User-visible improvements
 ~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -13,7 +15,6 @@ User-visible improvements
   to the builtin namespace. This was previously available under the ``mocat``
   module, but it had become much more flexible than the original MOCAT version,
   so it was no longer a descriptive name.
-
 - Better messages in `parallel
   <https://ngless.embl.de/stdlib.html?highlight=lock1#parallel-module>`__
   module when there are no free locks.
@@ -25,7 +26,7 @@ Internal improvements
 - Modules can now specify their annotation as a URL that NGLess downloads on a
   "as needed" basis: in version 1.1, only FASTA files were supported.
 - Memory consumption of `count() function <Functions.html#count>`__ has been
-  improved when using GFF files.
+  improved when using GFF files (*ca.* ⅓ less memory used).
 - This one is *hopefully **not** user-visible*: Previously, NGLess would ship
   the Javascript libraries it uses for the HTML viewer and copy them into all
   its outputs. Starting in v1.2.0, the HTML viewer links to the live versions