Merge pull request #4861 from kowainik/chshersh/shellmet

Add back `shellmet`
This commit is contained in:
Dan Burton 2019-09-29 09:10:57 -07:00 committed by GitHub
commit f66949383b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3503,7 +3503,6 @@ packages:
- universum
"Kowainik <xrom.xkov@gmail.com> @chshersh @vrom911":
- base-noprelude == 4.12.0.0
- co-log-core
- co-log
- first-class-patterns
@ -4789,7 +4788,6 @@ packages:
- servant-auth-server < 0 # via base-4.13.0.0
- servant-auth-swagger < 0 # via base-4.13.0.0
- sexpr-parser < 0 # via base-4.13.0.0
- shellmet < 0 # via base-4.13.0.0
- shower < 0 # via base-4.13.0.0
- sized-grid < 0 # via base-4.13.0.0
- slack-web < 0 # via base-4.13.0.0