We try to keep up with the most recent community release of AS 7, which as of now is 7.1.1. To get a release distribution of 7.1.2, users would have to build from source and then install SY on top, which seems a bit much. AS 7.2.0 will be the next community release and will include all the fixes from 7.1.2. We can look at supporting that as an install option once the first community release (possibly even alpha) becomes available.
If you are interested in brewing up a 7.1.2-based runtime yourself, you could always grab the AS 7 source and build it locally, then modify a local version of our parent pom to bump the AS version to 7.1.2. If you then build our release , it should spit out a SY runtime on top of 7.1.2. Could get bumpy.