Merge pull request #5758 from brandonchinn178/resourcet-pool

Add resourcet-pool
This commit is contained in:
Adam Bergmark 2020-11-24 07:24:31 +01:00 committed by GitHub
commit 1dc2871e8f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4286,6 +4286,9 @@ packages:
- hpc-lcov
- th-test-utils
"Brandon Chinn <brandonchinn178@gmail.com> @brandonchinn178":
- resourcet-pool
"Akshay Mankar <itsakshaymankar@gmail.com> @akshaymankar":
- jsonpath