diff options
| author |   MichaelMorris <michael.morris@est.tech> | 2023-09-20 10:08:49 +0100 |
|---|---|---|
| committer | MichaelMorris <michael.morris@est.tech> | 2023-09-22 14:03:12 +0100 |
| commit | 84d1ddc355acf519c165551d759bc00af12084c9 (patch) | |
| tree | 00303db4982ba2ea3a5ed7d0f50ef1bf0c7b072e /version.properties | |
| parent | db333a620e4b8dec6c58009162561b32c83d6bd9 (diff) | |
Update version to 1.13.5
Signed-off-by: MichaelMorris <michael.morris@est.tech>
Issue-ID: SDC-4631
Change-Id: Ib1c16010517843e5b46cb96a0a77631b615952b5
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 86f7f64665..06f10bb30a 100644 --- a/version.properties +++ b/version.properties @@ -5,7 +5,7 @@ major=1 minor=13 -patch=4 +patch=5 base_version=${major}.${minor}.${patch} |