[gsettings-desktop-schemas: 2/2] 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/2] Merge branch 'optional-hot-corner' into 'master'
Date: Wed, 10 Jul 2019 15:40:24 +0000 (UTC)

commit de2a4f3099f25552afa7192f2b85344b6661d343
Merge: 0abf3cf 1e25415
Author: Florian Müllner <florian muellner gmail com>
Date:   Wed Jul 10 15:40:10 2019 +0000

    Merge branch 'optional-hot-corner' into 'master'
    
    schemas: Add 'enable-hot-corners' setting
    
    See merge request GNOME/gsettings-desktop-schemas!26

 schemas/org.gnome.desktop.interface.gschema.xml.in | 8 ++++++++
 1 file changed, 8 insertions(+)
---

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