From c4f05d1e2ba9a14b0c0531b2c5873b4905b9352b Mon Sep 17 00:00:00 2001 From: Bobby Rong Date: Thu, 12 Dec 2024 18:30:33 +0800 Subject: [PATCH] maintainers/team-list: Fix gnome-circle shortName https://gist.github.com/GrahamcOfBorg/967ae795a807223c675824e895b2d988 --- maintainers/team-list.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maintainers/team-list.nix b/maintainers/team-list.nix index 1c7942b10142..51911841fa4c 100644 --- a/maintainers/team-list.nix +++ b/maintainers/team-list.nix @@ -459,7 +459,7 @@ with lib.maintainers; getchoo ]; scope = "Maintain GNOME Circle applications."; - shortname = "GNOME Circle"; + shortName = "GNOME Circle"; }; graalvm-ce = {