From 10bba356aac374f50d3fd97114cfa0ba08dc5e7e Mon Sep 17 00:00:00 2001
From: Registrator <ci@juliacomputing.com>
Date: Fri, 31 May 2024 16:43:56 +0530
Subject: [PATCH] New version: OscarDevTools v0.2.18 (#108010)

UUID: 4f01c588-2833-446a-9dbd-6331d80acb41
Repo: https://github.com/oscar-system/OscarDevTools.jl.git
Tree: e531878a09aa054fb84b2164a8fb06158c907bc4

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

diff --git a/O/OscarDevTools/Versions.toml b/O/OscarDevTools/Versions.toml
index d5ae8e6804c31a6..a5abc69dea6d5d2 100644
--- a/O/OscarDevTools/Versions.toml
+++ b/O/OscarDevTools/Versions.toml
@@ -57,3 +57,6 @@ git-tree-sha1 = "333015ee0b8535fa0afb8e26e5dc72220c68199d"
 
 ["0.2.17"]
 git-tree-sha1 = "013ae3bc006be2555d3230e39965a0841e82f7fe"
+
+["0.2.18"]
+git-tree-sha1 = "e531878a09aa054fb84b2164a8fb06158c907bc4"