Merge remote-tracking branch 'origin/master' into blamario-master

This commit is contained in:
Michael Snoyman 2020-07-20 21:07:09 +03:00
commit 5c8ce9d60c
No known key found for this signature in database
GPG Key ID: 907EAE2F42B52046

View File

@ -3928,9 +3928,12 @@ packages:
- aeson-with
- binary-instances
- comonad-extras
- ixset-typed-conversions
- lucid-cdn
- path-extensions
- path-like
- shake-plus
- shake-plus-extended
- within
- zipper-extra