oops missing change for f31
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 15 Nov 2019 14:07:15 +0000 (15:07 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 15 Nov 2019 14:07:15 +0000 (15:07 +0100)
commit2578bf15ab85b46db5e4a640d3ee0660cd7e904f
tree1bab72560ad4e24634e1aed9f79464fcb0fa664d
parent1f4f80e0c7dc71ef79614227c195139a56d1421e
oops missing change for f31
fedora-mirror.sh