diff options
| author |   MichaelMorris <michael.morris@est.tech> | 2023-07-14 18:59:57 +0100 |
|---|---|---|
| committer | Michael Morris <michael.morris@est.tech> | 2023-07-14 18:08:51 +0000 |
| commit | 5644613399f9a4878ac9ff74ec69ce1c1bb00309 (patch) | |
| tree | d031060fe432889ec04d627314381ebdf0623119 /version.properties | |
| parent | 5d34a86618abaa7864671c34c6163a8522d4fdd5 (diff) | |
Update version to 1.13.31.13.3
Signed-off-by: MichaelMorris <michael.morris@est.tech>
Issue-ID: SDC-4574
Change-Id: I2da7bb3d6a463222d187f4bc881e32751ed3252e
Diffstat (limited to 'version.properties')
| -rw-r--r-- | version.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version.properties b/version.properties index d7bf50bc29..c9d37b0d98 100644 --- a/version.properties +++ b/version.properties @@ -5,7 +5,7 @@ major=1 minor=13 -patch=2 +patch=3 base_version=${major}.${minor}.${patch} |