diff options
| author | Jose Ivan Vargas <jvargas@gitlab.com> | 2017-08-28 20:27:11 +0300 |
|---|---|---|
| committer | Jose Ivan Vargas <jvargas@gitlab.com> | 2017-08-28 20:27:11 +0300 |
| commit | ab974152dac919d5f9febb6399951bc15a3c1ddd (patch) | |
| tree | 2ffc9caddd42da2ef0e92ad7c8ca29f95559588a | |
| parent | 9b039684e7260baf6bfc6f6be3d3be28a30e2c89 (diff) | |
Update VERSION to 9.5.2v9.5.2
| -rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -9.5.1 +9.5.2 |