playframework/playframework — pull request #1371 by richdougherty (2013-07-23 04:36:02+00:00)
Title: Allow PLAY_VERSION to be set from command line when building

This comes in handy when releasing Play.