Making el capitan default to 0.7.2 even for std.
Making el capitan default to 0.7.2 even for std.

git-svn-id: 06aac1f7aa6783202dd435920b98a457d633d0b0@2866 a9e16012-fd73-49ee-95cb-036de7809213

Tech-XCorp/bilder