On Sat, 31 Dec 2016, Markus Neteler wrote: > *We are pleased to announce the stable release of GRASS GIS 7.2.0* Congratulations to you and all developers, Markus. All of you can take off the next day before starting on 7.3. :-) Happy New Year all, Rich