[mutter/gnome-3-38] monitor-config-manager: Handle multiple builtin panels gracefully



Summary of changes:

  f6a13ef... monitor-config-manager: Handle multiple builtin panels grac (*)

(*) 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]