[gnome-shell] ci: Install mutter again on coverity job

From: Marge Bot <marge-bot src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-shell] ci: Install mutter again on coverity job
Date: Fri, 8 Oct 2021 16:21:59 +0000 (UTC)

Summary of changes:

  4e5ddc5... ci: Install mutter again on coverity job (*)

(*) This commit already existed in another branch; no separate mail sent

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]