diff options
Diffstat (limited to 'versions')
| -rw-r--r-- | versions/baseline.json | 2 | ||||
| -rw-r--r-- | versions/p-/pthreadpool.json | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index 1f18cd128..6e65ada88 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -4958,7 +4958,7 @@ }, "pthreadpool": { "baseline": "2020-04-10", - "port-version": 0 + "port-version": 1 }, "pthreads": { "baseline": "3.0.0", diff --git a/versions/p-/pthreadpool.json b/versions/p-/pthreadpool.json index 7f8931905..8e89e584d 100644 --- a/versions/p-/pthreadpool.json +++ b/versions/p-/pthreadpool.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "37e004fa65e21e9ffb647d6ff92cd834a46777cf", + "version-date": "2020-04-10", + "port-version": 1 + }, + { "git-tree": "da641f8e198df6999638e7a2f0a95e3f143cb595", "version-date": "2020-04-10", "port-version": 0 |