From 0d96f5667efcbecfa32f471b198db860f8947987 Mon Sep 17 00:00:00 2001
From: DamonHD <d@hd.org>
Date: Mon, 9 Oct 2023 13:49:29 +0100
Subject: [PATCH] V0.9.3

No change: matches document version.
---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 36c92c4..0f20837 100644
--- a/build.xml
+++ b/build.xml
@@ -34,7 +34,7 @@ Licensed under the Apache License, Version 2.0 (the "License");
     <property name="app.name" value="TRVmodel"/>
     <property name="app.version.major" value="0"/>
     <property name="app.version.minor" value="9"/>
-    <property name="app.version.micro" value="2"/>
+    <property name="app.version.micro" value="3"/>
     <property name="app.version" value="${app.version.major}.${app.version.minor}.${app.version.micro}"/>
     <!-- Version excluding the "micro" portion, thus reflecting only significant API/functionality changes. -->
     <property name="app.version.notmicro" value="${app.version.major}.${app.version.minor}"/>