From a149df185f020b088a0988797955a4ea38740a1f Mon Sep 17 00:00:00 2001 From: Tommy Hofmann Date: Thu, 25 Aug 2022 19:18:51 +0200 Subject: [PATCH] Bump to 0.10.2 (#1515) --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index eb3aba260b79..4e0686e1278f 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "Oscar" uuid = "f1435218-dba5-11e9-1e4d-f1a5fab5fc13" authors = ["The OSCAR Team "] -version = "0.10.1" +version = "0.10.2" [deps] AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"