From 2303536992cb720215aa462bffc3a41f4975c621 Mon Sep 17 00:00:00 2001
From: Jan Tojnar <jtojnar@gmail.com>
Date: Fri, 24 Jul 2020 22:42:08 +0200
Subject: [PATCH] config.public.json: Rename the GNOME label

GNOME might switch to different versioning scheme soon so gnome3 might not make sense.
---
 config.public.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.public.json b/config.public.json
index 71507a6..948e678 100644
--- a/config.public.json
+++ b/config.public.json
@@ -137,7 +137,7 @@
         "6.topic: fetch": [
             "pkgs/build-support/fetch"
         ],
-        "6.topic: gnome3": [
+        "6.topic: GNOME": [
             "pkgs/desktops/gnome-3",
             "nixos/modules/services/x11/desktop-managers/gnome3.nix",
             "nixos/tests/gnome3.nix",