diff options
| author | Juan A. Suarez Romero <[email protected]> | 2019-07-23 11:04:20 +0000 |
|---|---|---|
| committer | Juan A. Suarez Romero <[email protected]> | 2019-07-23 11:04:20 +0000 |
| commit | 58e93aef9687564c8dc21050a6a31db4e7e6b73a (patch) | |
| tree | eca2d05703d9189c2cb19ff1b665099645c40926 | |
| parent | f17ff71f49010fd808827d8657aaf8a90d534090 (diff) | |
Update version to 19.1.3
Signed-off-by: Juan A. Suarez Romero <[email protected]>
| -rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -19.1.2 +19.1.3 |