Merge pull request #8727 from filecoin-project/asr/actors-update

Update actors to dev/20220525
This commit is contained in:
Geoff Stuart 2022-05-25 14:23:18 -04:00 committed by GitHub
commit cd8a6b5a7a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,3 +1,3 @@
[[bundles]] [[bundles]]
version = 8 version = 8
release = "dev/20220524" release = "dev/20220525"