[gnome-shell] (2 commits) ...tools: Migrate changed overrides settings

From: Florian Müllner <fmuellner src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-shell] (2 commits) ...tools: Migrate changed overrides settings
Date: Tue, 31 Jul 2018 18:38:42 +0000 (UTC)

Summary of changes:

  393d724... Replace custom override schema with per-desktop override (*)
  d57dc94... tools: Migrate changed overrides settings (*)

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