From f2b7b81666b21707244a40857cf50f4362b6e3c2 Mon Sep 17 00:00:00 2001
From: Kostis Sagonas <kostis@it.uu.se>
Date: Wed, 25 Jul 2018 10:50:46 +0300
Subject: [PATCH] Up the version to 1.3.0

---
 THANKS             | 1 +
 mix.exs            | 2 +-
 src/proper.app.src | 6 +++---
 3 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/THANKS b/THANKS
index ebbd1bf1..aa455b02 100644
--- a/THANKS
+++ b/THANKS
@@ -28,6 +28,7 @@ pull requests that have been incorporated in PropEr's code base:
  25. Teemu Harju
  26. Carl-Johan Kjellander
  27. Fred Hebert
+ 28. Stavros Aronis
 
 We sincerely thank them for making PropEr a better tool.
 
diff --git a/mix.exs b/mix.exs
index f3c9a2ff..38f148fd 100644
--- a/mix.exs
+++ b/mix.exs
@@ -3,7 +3,7 @@ defmodule Proper.Mixfile do
 
   def project do
     [app: :proper,
-     version: "1.2.0",
+     version: "1.3.0",
      description: description(),
      package: package(),
      deps: deps()]
diff --git a/src/proper.app.src b/src/proper.app.src
index 3316e531..e4b4c8db 100644
--- a/src/proper.app.src
+++ b/src/proper.app.src
@@ -1,7 +1,7 @@
 %%% -*- coding: utf-8 -*-
 %%% -*- erlang-indent-level: 2 -*-
 %%% -------------------------------------------------------------------
-%%% Copyright 2010-2013 Manolis Papadakis <manopapad@gmail.com>,
+%%% Copyright 2010-2018 Manolis Papadakis <manopapad@gmail.com>,
 %%%                     Eirini Arvaniti <eirinibob@gmail.com>
 %%%                 and Kostis Sagonas <kostis@cs.ntua.gr>
 %%%
@@ -20,14 +20,14 @@
 %%% You should have received a copy of the GNU General Public License
 %%% along with PropEr.  If not, see <http://www.gnu.org/licenses/>.
 
-%%% @copyright 2010-2013 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
+%%% @copyright 2010-2018 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
 %%% @version {@version}
 %%% @author Manolis Papadakis
 %%% @doc This is the source for the proper.app file.
 
 {application, proper,
  [{description, "A QuickCheck-inspired property-based testing tool for Erlang"},
-  {vsn, "1.2.0"},
+  {vsn, "1.3.0"},
   {registered, []},
   {applications, [compiler,kernel,stdlib]},
   {env, []}]}.