diff options
Diffstat (limited to 'versions')
| -rw-r--r-- | versions/baseline.json | 2 | ||||
| -rw-r--r-- | versions/d-/draco.json | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index e98d58e8d..5a0426fed 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -1714,7 +1714,7 @@ }, "draco": { "baseline": "1.3.6", - "port-version": 0 + "port-version": 1 }, "drlibs": { "baseline": "2019-08-12", diff --git a/versions/d-/draco.json b/versions/d-/draco.json index 4486003a3..7bd67d302 100644 --- a/versions/d-/draco.json +++ b/versions/d-/draco.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "c3690271c81d83c2016d5710acaa76a94d6d78b8", + "version": "1.3.6", + "port-version": 1 + }, + { "git-tree": "14563e699abc99cebdcd2b4e54b76e91c05d96be", "version-string": "1.3.6", "port-version": 0 |