release.sh 249 Bytes
Newer Older
1 2
#!/bin/bash

3 4 5 6 7 8 9 10
##########
# This bash script has been deprecated; keeping it around only for
# compatibility with old documentation.
#
# The PHP script is the supported one now, so we'll just pass control
# through to there.
##########
./release.php
11