[gsettings-desktop-schemas] (2 commits) ...Merge branch 'optional-hot-corner' into 'master'

From: Florian Müllner <fmuellner src gnome org>
To: commits-list gnome org
Cc:
Subject: [gsettings-desktop-schemas] (2 commits) ...Merge branch 'optional-hot-corner' into 'master'
Date: Wed, 10 Jul 2019 15:40:19 +0000 (UTC)

Summary of changes:

  1e25415... schemas: Add 'enable-hot-corners' setting (*)
  de2a4f3... Merge branch 'optional-hot-corner' into 'master'

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