diff options
author | James Edwards-Jones <jamedjo@gmail.com> | 2017-07-07 14:16:50 +0300 |
---|---|---|
committer | James Edwards-Jones <jamedjo@gmail.com> | 2017-07-07 14:16:50 +0300 |
commit | d40445e4c9964ae0ab793bfdd7ba530de4259716 (patch) | |
tree | 01114a920a6748c1b0f5b6406b42b27a4aad830e | |
parent | de2d5ce685877249434ba412b5839910bc703882 (diff) | |
parent | 58359f249f4a6e9d68736fb98b536a4703d0b919 (diff) |
Merge branch '9-4-pre' into 'master'
Update VERSION to 9.4.0-pre.
See merge request !12702
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -9.3.0-pre +9.4.0-pre |