Merge pull request #4049 from clinty/dav-xml-hamlet

DAV is buildable within nightly EXCEPT for xml-hamlet
This commit is contained in:
Alexey Zabelin 2018-10-12 15:03:57 -04:00 committed by GitHub
commit b24f550164
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3696,7 +3696,6 @@ packages:
# out of bounds
- Agda < 0
- Allure < 0
- DAV < 0
- DRBG < 0
- HTF < 0
- HaTeX < 0