build-devtoolbox: Fix broken Fedora 33 image
authorMartin Pitt <martin@piware.de>
Fri, 4 Sep 2020 05:44:37 +0000 (07:44 +0200)
committerMartin Pitt <martin@piware.de>
Fri, 4 Sep 2020 05:44:37 +0000 (07:44 +0200)
commit97ca56a460678fdcb75e52954fdbb31b533f0e2f
treebe1776bb84a862cca57aa57a41fb831a9ab0b5b3
parent13675a529e1d2976ddd62cbe6184610749f8deeb
build-devtoolbox: Fix broken Fedora 33 image

See https://github.com/containers/toolbox/issues/552
build-devtoolbox