diff options
Diffstat (limited to 'versions/baseline.json')
| -rw-r--r-- | versions/baseline.json | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index 2769193a0..5897e401d 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -5102,7 +5102,7 @@ }, "ptex": { "baseline": "2.3.2", - "port-version": 2 + "port-version": 3 }, "pthread": { "baseline": "3.0.0", @@ -5530,11 +5530,11 @@ }, "rbdl": { "baseline": "2.6.0", - "port-version": 0 + "port-version": 1 }, "rbdl-orb": { "baseline": "3.0.0", - "port-version": 0 + "port-version": 1 }, "re2": { "baseline": "2020-10-01", |