Merge pull request #5984 from brandonchinn178/patch-2

Remove deprecated resourcet-pool
This commit is contained in:
Jens Petersen 2021-04-16 11:48:19 +08:00 committed by GitHub
commit 7c9992ad4b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4339,7 +4339,6 @@ packages:
- th-test-utils
"Brandon Chinn <brandonchinn178@gmail.com> @brandonchinn178":
- resourcet-pool
- persistent-mtl
"Akshay Mankar <itsakshaymankar@gmail.com> @akshaymankar":