From 9b9443607b65f81b58060863b91774ad6985e4d3 Mon Sep 17 00:00:00 2001
From: JuliaRegistrator <ci@juliacomputing.com>
Date: Mon, 16 Oct 2023 18:26:45 +0000
Subject: [PATCH] New version: Devito v0.10.5

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

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

diff --git a/D/Devito/Versions.toml b/D/Devito/Versions.toml
index 2c8c93a8800a5e0..09e722ad5d5499b 100644
--- a/D/Devito/Versions.toml
+++ b/D/Devito/Versions.toml
@@ -54,3 +54,6 @@ git-tree-sha1 = "3f8368d0d06c59994cf72b05907353900c0624d1"
 
 ["0.10.4"]
 git-tree-sha1 = "c7f3145075da4477aad4e7e17e669422341925ec"
+
+["0.10.5"]
+git-tree-sha1 = "c6febf533a833e7e68d39658951e9b4b6c355605"