summary refs log tree commit diff
diff options
context:
space:
mode:
authorMark H Weaver <mhw@netris.org>2021-03-16 19:53:49 -0400
committerMark H Weaver <mhw@netris.org>2021-03-16 22:38:12 -0400
commitc3fe23d0de5d6095ef67fe513823e1aad256dd73 (patch)
tree21612d004f556d34297f1f7406d4649abe4a7e48
parent15423d38c57d04bc1bbc70c7bd79eaf8cf82d513 (diff)
downloadguix-c3fe23d0de5d6095ef67fe513823e1aad256dd73.tar.gz
gnu: gnome-shell: Add 'lint-hidden-cve' property.
* gnu/packages/gnome.scm (gnome-shell)[properties]: New field, marking
CVE-2019-3820 as fixed.
-rw-r--r--gnu/packages/gnome.scm3
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index db7941bb98..a3c3c75024 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -8593,6 +8593,9 @@ properties, screen resolution, and other GNOME parameters.")
        ;; Missing propagation? See also: <https://bugs.gnu.org/27264>
        ("librsvg" ,librsvg)
        ("geoclue" ,geoclue)))
+    ;; CVE-2019-3820 was fixed before GNOME 3.34 was released, in upstream
+    ;; commit f0a7395b3006360905ccdc642982f9fc67378927.
+    (properties '((lint-hidden-cve . ("CVE-2019-3820"))))
     (synopsis "Desktop shell for GNOME")
     (home-page "https://wiki.gnome.org/Projects/GnomeShell")
     (description