mirror of
https://gitlab.freedesktop.org/mesa/mesa.git
synced 2026-01-17 17:50:29 +01:00
Currently we loop (git log --grep) to check if the fix has landed. We
can simplify and make things faster by storing the already_picked list
and grep ping through it.
Slim down the message while we're here.
Cc: "13.0 17.0" <mesa-stable@lists.freedesktop.org>
Signed-off-by: Emil Velikov <emil.velikov@collabora.com>
Reviewed-by: Eric Engestrom <eric.engestrom@imgtec.com>
(cherry picked from commit
|
||
|---|---|---|
| .. | ||
| .editorconfig | ||
| .gitignore | ||
| bugzilla_mesa.sh | ||
| get-extra-pick-list.sh | ||
| get-pick-list.sh | ||
| get-typod-pick-list.sh | ||
| perf-annotate-jit | ||
| shortlog_mesa.sh | ||