Merge pull request #4997 from egisatoshi/patch-2

Add mini-egison
This commit is contained in:
Jens Petersen 2019-11-26 13:58:50 +08:00 committed by GitHub
commit 2e872c2fd5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4043,6 +4043,7 @@ packages:
"Satoshi Egi <egi@egison.org> @egisatoshi":
- egison
- mini-egison
"Grandfathered dependencies":
- network