From 05bf2db86049099df86ef00592ad210cd2807a83 Mon Sep 17 00:00:00 2001
From: JuliaRegistrator <ci@juliacomputing.com>
Date: Tue, 3 Dec 2024 15:07:21 +0000
Subject: [PATCH] New version: Devito v0.15.2

UUID: 06ed14b1-0e40-4084-abdf-764a285f8c42
Repo: https://github.com/ChevronETC/Devito.jl.git
Tree: 813d98e6856c858dde6923730dafb46eb72c06a6

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

diff --git a/D/Devito/Versions.toml b/D/Devito/Versions.toml
index c424ba4fd17cf99..1c542d527551ca6 100644
--- a/D/Devito/Versions.toml
+++ b/D/Devito/Versions.toml
@@ -99,3 +99,6 @@ git-tree-sha1 = "e100c1c1cbd94e6eb47a8dfacdca7898508cc959"
 
 ["0.15.1"]
 git-tree-sha1 = "189413aa810598e33112d01f94def18d17a32999"
+
+["0.15.2"]
+git-tree-sha1 = "813d98e6856c858dde6923730dafb46eb72c06a6"