diff options
Diffstat (limited to 'versions')
| -rw-r--r-- | versions/baseline.json | 4 | ||||
| -rw-r--r-- | versions/p-/pthreadpool.json | 9 |
2 files changed, 13 insertions, 0 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index dc9e7da9e..3dd4baa61 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -4888,6 +4888,10 @@ "baseline": "3.0.0", "port-version": 0 }, + "pthreadpool": { + "baseline": "2020-02-21", + "port-version": 0 + }, "pthreads": { "baseline": "3.0.0-6", "port-version": 0 diff --git a/versions/p-/pthreadpool.json b/versions/p-/pthreadpool.json new file mode 100644 index 000000000..09c0ab015 --- /dev/null +++ b/versions/p-/pthreadpool.json @@ -0,0 +1,9 @@ +{ + "versions": [ + { + "git-tree": "9c1519f2cc1eb186ccd706a4f634350877da6dba", + "version-date": "2020-02-21", + "port-version": 0 + } + ] +} |