From a122ff5cd446a7e7030444027cf5563326707813 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 18 Sep 2016 11:22:00 +0000
Subject: [PATCH] 1.3

---
 contrib/onelab/python/onelab.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/onelab/python/onelab.py b/contrib/onelab/python/onelab.py
index bee240472a..ba76aacb55 100755
--- a/contrib/onelab/python/onelab.py
+++ b/contrib/onelab/python/onelab.py
@@ -28,7 +28,7 @@ Please report all bugs and problems to the public mailing list
 """
 
 import socket, struct, os, sys, subprocess, time
-_VERSION = '1.2'
+_VERSION = '1.3'
 
 def path(dirname, inp):
   # dirname is a directory, can be empty
-- 
GitLab