From aa54ef60172daa5a954d4f946d9988f4bd7b714c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tobias=20K=C3=BCndig?= <tobias@offline.swiss>
Date: Wed, 19 Feb 2020 07:58:48 +0100
Subject: [PATCH] Version bump

---
 october | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/october b/october
index e8a6bee..b842003 100755
--- a/october
+++ b/october
@@ -1,7 +1,7 @@
 #!/usr/bin/env php
 <?php
 define('DS', DIRECTORY_SEPARATOR);
-define('VERSION', '0.7.1');
+define('VERSION', '0.7.2');
 
 if (file_exists(__DIR__.'/../../autoload.php')) {
     require __DIR__.'/../../autoload.php';