From 2a44e13658aff63692094eb30fef9376b1ba0c10 Mon Sep 17 00:00:00 2001
From: Riccardo Spagni <ric@spagni.net>
Date: Tue, 25 Sep 2018 15:54:01 +0200
Subject: [PATCH] Merge pull request #4441

6f5360b3 bump version to 0.13.0.1 (Riccardo Spagni)