[GRASS-dev] milestone 7.1 vs. 7.2

Hi,

AFAIU, the next stable version will be 7.2, not 7.1. I am not sure
what to do with milestone 7.1.0 [1].

1) rename to 7.2
2) keep with no release date + create 7.2 with release date

?

Option 1) seems to be more logical to me. What do you think?

Ma

[1] https://trac.osgeo.org/grass/admin/ticket/milestones/7.1.0

--
Martin Landa
http://geo.fsv.cvut.cz/gwiki/Landa
http://gismentors.cz/mentors/landa

On Sat, Nov 21, 2015 at 1:09 PM, Martin Landa <landa.martin@gmail.com>
wrote:

Option 1) seems to be more logical to me. What do you think?

I still don't see a reason for not releasing 7.1. If we skip that milestone
altogether, we can as well say that 7.2 will be in fact 7.1 and release 7.1
as the next release.