From b727700ed43e58421dad8308c6f1973211b72d6c Mon Sep 17 00:00:00 2001 From: Yue Ren Date: Fri, 23 Sep 2022 12:29:28 +0100 Subject: [PATCH] bump to 0.13.1 --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index 4908c1353..a34dd3908 100644 --- a/Project.toml +++ b/Project.toml @@ -1,6 +1,6 @@ name = "Singular" uuid = "bcd08a7b-43d2-5ff7-b6d4-c458787f915c" -version = "0.13.0" +version = "0.13.1" [deps] AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"