From f27e184371a45779e0db585c7f8f0e7e6f802473 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20P=C3=ADsa=C5=99?= Date: Wed, 26 Jun 2019 07:02:33 +0200 Subject: [PATCH] A dummy commit Retry a dist-git failure.