diff options
Diffstat (limited to 'extra.old.json~')
| -rw-r--r-- | extra.old.json~ | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/extra.old.json~ b/extra.old.json~ index 82215ab..13e9eac 100644 --- a/extra.old.json~ +++ b/extra.old.json~ @@ -300,9 +300,9 @@ "revision": "e9e365de6927341bd249fff2ee987a39491e017d" }, "cri-tools": { - "version": "v1.30.1", - "gitref": "refs/tags/v1.30.1", - "revision": "b633b386d6ec2c5743999a56c7df332b43759f9a" + "version": "v1.31.1", + "gitref": "refs/tags/v1.31.1", + "revision": "ea669ca726b21585ee9c94276391eea5b486da46" }, "csound": { "version": "6.18.1" |