From 384b48ae7fd07e88e72301b65c718d584ef0c222 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20P=C3=ADsa=C5=99?= Date: Mon, 24 Feb 2020 12:28:30 +0100 Subject: [PATCH] A dummy commit to retry a dist-git failure: error: RPC failed; HTTP 404 curl 22 The requested URL returned error: 404