From d2f1f67a2291d24898335a7f8aea096b287883cd Mon Sep 17 00:00:00 2001
From: Enrico Giordani <enricogior@users.noreply.github.com>
Date: Fri, 26 Jun 2020 19:01:03 +0200
Subject: [PATCH] Update version to 0.19.0 (#4518)