Merge branch 'master' into staging

This commit is contained in:
Marius Bakke 2020-11-11 00:02:32 +01:00
commit a9a0d34874
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA
70 changed files with 19621 additions and 13432 deletions

View file

@ -453,6 +453,8 @@ other HTTP libraries.")
syntax highlighting, wget-like downloads, plugins, and more. It consists of
a single http command designed for painless debugging and interaction with
HTTP servers, RESTful APIs, and web services.")
;; This was fixed in 1.0.3.
(properties `((lint-hidden-cve . ("CVE-2019-10751"))))
(license license:bsd-3)))
(define-public python-html2text