diff options
Diffstat (limited to 'versions/t-/threadpool.json')
| -rw-r--r-- | versions/t-/threadpool.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/versions/t-/threadpool.json b/versions/t-/threadpool.json index 3090b34f3..6af078b54 100644 --- a/versions/t-/threadpool.json +++ b/versions/t-/threadpool.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "498f064539d36777494d54a9edcce63a012ac503", + "version-string": "0.2.5", + "port-version": 2 + }, + { "git-tree": "4a34cd691a72f01753a152d484648d8bd885dfb8", "version-string": "0.2.5", "port-version": 1 |