From 6258dda0f851256c2e1d65cf87e997023a4f997b Mon Sep 17 00:00:00 2001
From: sharkdp <davidpeter@web.de>
Date: Fri, 2 Oct 2020 23:27:29 +0200
Subject: [PATCH] v0.16.0