From eaf420bcbc1eb63722c07858f977e1c929a24bac Mon Sep 17 00:00:00 2001
From: Jimmy Brisson <theotherjimmy@gmail.com>
Date: Mon, 2 Oct 2017 11:09:31 -0500
Subject: [PATCH] Release version 1.3.1

Fixes:
 * Test coverage increased
 * Correct UTF-8 handling in the report API
---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 0271894c..e98e1092 100644
--- a/setup.py
+++ b/setup.py
@@ -38,7 +38,7 @@ def read(fname):
     return open(os.path.join(os.path.dirname(__file__), fname), encoding="utf-8").read()
 
 setup(name='mbed-greentea',
-      version='1.3.0',
+      version='1.3.1',          # 
       description=DESCRIPTION,
       long_description=read('README.md'),
       author=OWNER_NAMES,