From 5499eac9d700751f6ff829db46f4da3d4ef6b165 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Sun, 6 Oct 2019 22:03:58 +0700
Subject: [PATCH] 1.3.2 maintenance release.

---
 src/defaults.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/defaults.ml b/src/defaults.ml
index 0b1c9b9..5cdb5b1 100644
--- a/src/defaults.ml
+++ b/src/defaults.ml
@@ -94,4 +94,4 @@ let default_settings = {
   preprocessors = []
 }
 
-let version = "1.3.1"
+let version = "1.3.2"