diff --git a/.appveyor.yml b/.appveyor.yml
index 1608daf977..90621781f8 100644
--- a/.appveyor.yml
+++ b/.appveyor.yml
@@ -16,7 +16,7 @@ test_script:
   - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ctest -j4 --output-on-failure"
 
 artifacts:
-  - path: build\lean-3.2.0-windows.zip
+  - path: build\lean-3.2.1-windows.zip
     name: binary
 
 deploy:
diff --git a/.travis.yml b/.travis.yml
index 5ffcb6f320..a5afc58e24 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -24,7 +24,7 @@ matrix:
      env:
        CMAKE_CXX_COMPILER=g++-4.9
        CMAKE_BUILD_TYPE=Release
-       TARGET=build/lean-3.2.0-linux.tar.gz
+       TARGET=build/lean-3.2.1-linux.tar.gz
        UPLOAD=ON
        STATIC=ON
 
@@ -91,7 +91,7 @@ matrix:
      env:
        CMAKE_CXX_COMPILER=clang++
        CMAKE_BUILD_TYPE=Release
-       TARGET=build/lean-3.2.0-darwin.zip
+       TARGET=build/lean-3.2.1-darwin.zip
        UPLOAD=ON
        PACKAGE=TRUE
 
diff --git a/doc/changes.md b/doc/changes.md
index 7cc25b2903..e7458adc9e 100644
--- a/doc/changes.md
+++ b/doc/changes.md
@@ -1,4 +1,7 @@
-Current build
+master branch (aka work in progress branch)
+-------------
+
+v3.2.0 (18 June 2017)
 -------------
 
 Lean is still evolving rapidly, and we apologize for the resulting instabilities. The lists below summarizes some of the new features and incompatibilities with respect to release 3.1.0.
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 4e6c3e70c1..660ecac774 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -2,7 +2,7 @@ cmake_minimum_required(VERSION 2.8.7)
 project(LEAN CXX C)
 set(LEAN_VERSION_MAJOR 3)
 set(LEAN_VERSION_MINOR 2)
-set(LEAN_VERSION_PATCH 0)
+set(LEAN_VERSION_PATCH 1)
 
 set(LEAN_EXTRA_LINKER_FLAGS "")
 set(LEAN_EXTRA_CXX_FLAGS "")