Merge pull request #6129 from Daniel-Diaz/patch-1

Add gmail-simple
This commit is contained in:
Adam Bergmark 2021-07-19 06:57:39 +02:00 committed by GitHub
commit 7618c0400b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1183,11 +1183,12 @@ packages:
- text-format # needed by liquid-fixpoint
- liquid-fixpoint
"Daniel Díaz dhelta.diaz@gmail.com @Daniel-Diaz":
"Daniel Casanueva <dhelta.diaz@gmail.com> @Daniel-Diaz":
- bimap-server
- binary-list
- byteset
- Clipboard
- gmail-simple
- grouped-list
- haskintex
- HaTeX