scripts/make_release.sh
changeset 803 9d0ed410bfd5
parent 570 cbd07fbdc125