Merge pull request #6160 from jcranch/patch-1

Add tophat
This commit is contained in:
jkachmar 2021-08-12 19:03:48 -04:00 committed by GitHub
commit 4ae33f54b9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4670,6 +4670,9 @@ packages:
"Rickard Andersson <gonz@severnatazvezda.com> @GoNZooo":
- gotyno-hs
"James Cranch <cranch@cantab.net> @jcranch":
- tophat
"Grandfathered dependencies":
- snappy