From 67b79a50dc443d9c9e6a1726856c7ff76240ffe6 Mon Sep 17 00:00:00 2001
From: Registrator <ci@juliacomputing.com>
Date: Tue, 11 Jun 2024 17:22:45 +0530
Subject: [PATCH] New version: Grassmann v0.8.20 (#108719)

UUID: 4df31cd9-4c27-5bea-88d0-e6a7146666d8
Repo: https://github.com/chakravala/Grassmann.jl.git
Tree: fff3227b719d497795504b4a279db7f4b4bea970

Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
---
 G/Grassmann/Versions.toml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/G/Grassmann/Versions.toml b/G/Grassmann/Versions.toml
index afcc29f209bdac3..a217d050e78255b 100644
--- a/G/Grassmann/Versions.toml
+++ b/G/Grassmann/Versions.toml
@@ -216,3 +216,6 @@ git-tree-sha1 = "4899479225cd6cbf4aa7106558f87572ba46b243"
 
 ["0.8.19"]
 git-tree-sha1 = "a96b0e18c559573cc96d7234a8654d5444ef0952"
+
+["0.8.20"]
+git-tree-sha1 = "fff3227b719d497795504b4a279db7f4b4bea970"