Well the 7.1.2 is tagged and I guess the 7.1.3 will also be (although they are not "official" releases). Just looking at the JIRA, the next community release appear to be in the 7.2-line and even the alpha1 has 200+ open issues so unless we are gifted an intermediate release, 7.2.0.Final is not exactly around the corner. But just guessing here, some redhattian can give you the correct answer...
Thanks Nicklas! I'm aware of the tagged releases, but I prefer official releases.
@Redhattians, any update to share?
Community releases for 7.1.x are finished. The next community release will be 7.2.0.Alpha1. Any fixes done on the 7.1.x branch should also be available on 7.2.x.
There are hundres of important issues fixed since 7.1.1.Final
I hope 7.2.x can be release before the end of this year.
Is it possible?