$version = 2010071300; // YYYYMMDD = date of the last version bump
// XX = daily increments
- $release = '2.0 Preview 4+ (Build: 20100714)'; // Human-friendly version name
+ $release = '2.0 Preview 4+ (Build: 20100715)'; // Human-friendly version name