From 4262720b020242845a7d29eac1487da61955dc1c Mon Sep 17 00:00:00 2001
From: Martin Kudlacek <kudlacek@unipi.technology>
Date: Thu, 9 Sep 2021 12:08:10 +0200
Subject: [PATCH] Adding mirror to GitHub

-- 
2.43.0