From 67d924a32412c095a89b8b1a8f5a1a35ef9b1317 Mon Sep 17 00:00:00 2001 From: JuliaRegistrator Date: Wed, 15 Feb 2023 17:03:56 +0000 Subject: [PATCH] New version: NamedGraphs v0.1.12 UUID: 678767b0-92e7-4007-89e4-4527a8725b19 Repo: https://github.com/mtfishman/NamedGraphs.jl.git Tree: fdefe4cdb873974e52e48a9eac8d87aab89c0fe6 Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701 --- N/NamedGraphs/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/N/NamedGraphs/Versions.toml b/N/NamedGraphs/Versions.toml index a2ef9d5ad665f97..b2c779895e0e036 100644 --- a/N/NamedGraphs/Versions.toml +++ b/N/NamedGraphs/Versions.toml @@ -36,3 +36,6 @@ git-tree-sha1 = "c23201b91888cddce61e4d42249c6ba087123c4f" ["0.1.11"] git-tree-sha1 = "b7bb595b0c63971fd8b4c4dde048b10d6acb65b2" + +["0.1.12"] +git-tree-sha1 = "fdefe4cdb873974e52e48a9eac8d87aab89c0fe6"