* gnu/packages/gnome.scm (gvfs)[properties]: New field, marking
CVE-2019-12447, CVE-2019-12448, and CVE-2019-12449 as fixed.
("openssh" ,openssh)
("polkit" ,polkit)
("udisks" ,udisks)))
+ ;; CVE-2019-{12447,12448,12449} are fixed in the 1.40.2 release.
+ (properties '((lint-hidden-cve . ("CVE-2019-12447"
+ "CVE-2019-12448"
+ "CVE-2019-12449"))))
(home-page "https://wiki.gnome.org/gvfs/")
(synopsis "Userspace virtual file system for GIO")
(description