diff options
| author | Juan A. Suarez Romero <[email protected]> | 2019-07-09 09:04:10 +0000 |
|---|---|---|
| committer | Juan A. Suarez Romero <[email protected]> | 2019-07-09 09:04:10 +0000 |
| commit | eea0045458c8299332c0128f501d7a2e2f05df7a (patch) | |
| tree | 32fa9d7b77b76144f5d9645aa2cc3bf13524b115 | |
| parent | 77598ddfac8cb82f85aefee605351dd65503f973 (diff) | |
Update version to 19.1.2
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.1 +19.1.2 |