From 522d27cd9ea34d26c6e98361a2cc0a9304d24e0a Mon Sep 17 00:00:00 2001
From: Registrator <ci@juliacomputing.com>
Date: Sat, 17 Aug 2024 03:53:21 +0530
Subject: [PATCH] New version: TypeDomainNaturalNumbers v1.3.0 (#113275)

UUID: 06919feb-fec6-4e74-a260-ddb603bc7a1b
Repo: https://gitlab.com/nsajko/TypeDomainNaturalNumbers.jl.git
Tree: 944499ef73c9d9189e40823805ce9af84f4a6491

Registrator tree SHA: 191228b6dd8b9d0e2965ae3e705fe54c51dcfee8

Co-authored-by: JuliaHubRegistrator <juliahub-registrator@juliacomputing.com>
---
 T/TypeDomainNaturalNumbers/Versions.toml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/T/TypeDomainNaturalNumbers/Versions.toml b/T/TypeDomainNaturalNumbers/Versions.toml
index 409dc1bcbffbe46..42c6162bfeaaecc 100644
--- a/T/TypeDomainNaturalNumbers/Versions.toml
+++ b/T/TypeDomainNaturalNumbers/Versions.toml
@@ -6,3 +6,6 @@ git-tree-sha1 = "39725960ad9ee20e08094751145f38816ba56685"
 
 ["1.2.0"]
 git-tree-sha1 = "2e11ab774e52f61a33de8b9a9ba9cf1050286c04"
+
+["1.3.0"]
+git-tree-sha1 = "944499ef73c9d9189e40823805ce9af84f4a6491"