gnu: gnome-shell: Add 'lint-hidden-cve' property.
* gnu/packages/gnome.scm (gnome-shell)[properties]: New field, marking CVE-2019-3820 as fixed.
This commit is contained in:
		
							parent
							
								
									15423d38c5
								
							
						
					
					
						commit
						c3fe23d0de
					
				
					 1 changed files with 3 additions and 0 deletions
				
			
		| 
						 | 
					@ -8593,6 +8593,9 @@ properties, screen resolution, and other GNOME parameters.")
 | 
				
			||||||
       ;; Missing propagation? See also: <https://bugs.gnu.org/27264>
 | 
					       ;; Missing propagation? See also: <https://bugs.gnu.org/27264>
 | 
				
			||||||
       ("librsvg" ,librsvg)
 | 
					       ("librsvg" ,librsvg)
 | 
				
			||||||
       ("geoclue" ,geoclue)))
 | 
					       ("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")
 | 
					    (synopsis "Desktop shell for GNOME")
 | 
				
			||||||
    (home-page "https://wiki.gnome.org/Projects/GnomeShell")
 | 
					    (home-page "https://wiki.gnome.org/Projects/GnomeShell")
 | 
				
			||||||
    (description
 | 
					    (description
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Reference in a new issue