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;ds=sidebyside

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.
---