Christian Brabandt ef7be8348f patch 8.2.3034: installing packages on github CI sometimes fails ...

Problem:    Installing packages on github CI sometimes fails.
Solution:   Update package information first. (Christian Brabandt,
            closes #8432)

2021-06-22 18:21:19 +02:00

17 KiB

Raw Blame History

View Raw