diff options
author | James Edwards-Jones <jedwardsjones@gitlab.com> | 2017-07-28 15:46:07 +0300 |
---|---|---|
committer | James Edwards-Jones <jedwardsjones@gitlab.com> | 2017-07-28 15:46:07 +0300 |
commit | a2ffceb35c63cd6c21ad10d7bf16afa85d48c68f (patch) | |
tree | 8f7ac0c969b654f7418a572a1cec3cc6547c6b46 | |
parent | 590d7459477fa977cc278a17a36397d653179555 (diff) |
Update VERSION to 9.4.2v9.4.2
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -9.4.1 +9.4.2 |