From: Martin Pitt <martin@piware.de>
Date: Sun, 6 Sep 2020 05:34:42 +0000 (+0200)
Subject: Build separate Red Hat toolbox for rhpkg/1minutetip
X-Git-Url: https://piware.de/gitweb/?p=bin.git;a=commitdiff_plain;h=d5f1a071eda3b53a3f82874ede4b4a663c18115f;hp=d5f1a071eda3b53a3f82874ede4b4a663c18115f

Build separate Red Hat toolbox for rhpkg/1minutetip

This avoids requiring the redhat bits for Fedora development releases,
as that is often not available early.

The redhat toolbox can use the stable Fedora release, and does not need
to be updated every week.
---