diff options
| -rw-r--r-- | install.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/install.php b/install.php index c934c984..6ccbb8bc 100644 --- a/install.php +++ b/install.php @@ -147,6 +147,7 @@ </p>'; break; } + case 'v0.9.4-dev-3': case 'v0.9.4-dev-4': // nothing case false: |