| commit | 89caa485f15927ebc1f666b57732b55516288c1b | [log] [tgz] |
|---|---|---|
| author | Michel Dänzer <mdaenzer@redhat.com> | Tue Jul 14 17:08:10 2020 +0200 |
| committer | Michel Dänzer <michel@daenzer.net> | Tue Jul 14 17:08:10 2020 +0200 |
| tree | 20961aac079caccd483c70e20da206c91323f834 | |
| parent | 460300ed5927d1956d1258ba796ef642db86e540 [diff] |
Revert https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/4580 It broke the CI pipeline on master: https://gitlab.freedesktop.org/mesa/mesa/-/jobs/3604314 https://gitlab.freedesktop.org/mesa/mesa/-/jobs/3604315 Revert for now, to allow other MRs to be merged. Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/5905>