From 05028aabe5da2c207f7bc65457c777e2b6ba763c Mon Sep 17 00:00:00 2001 From: Registrator Date: Fri, 3 Jan 2025 14:52:00 +0530 Subject: [PATCH] New version: DispatchDoctor v0.4.19 (#122346) UUID: 8d63f2c5-f18a-4cf2-ba9d-b3f60fc568c8 Repo: https://github.com/MilesCranmer/DispatchDoctor.jl.git Tree: f311fe66bfe4e38b2f1c8d1081f06920092b57aa Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a --- D/DispatchDoctor/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/D/DispatchDoctor/Versions.toml b/D/DispatchDoctor/Versions.toml index ae94876a427c237..c18919f685f8b85 100644 --- a/D/DispatchDoctor/Versions.toml +++ b/D/DispatchDoctor/Versions.toml @@ -75,3 +75,6 @@ git-tree-sha1 = "453df2ce2aef7de59c69a56d31dcd2ec3384dd77" ["0.4.18"] git-tree-sha1 = "c204e42f63e0013d4446b9fe60fdad6edde7d8cf" + +["0.4.19"] +git-tree-sha1 = "f311fe66bfe4e38b2f1c8d1081f06920092b57aa"