We intend to have a patch release on December 10, nickname will be "Wooden Christmas-Tree". The detailed schedule will be made available via developer.r-project.org as usual (later today). For the R Core Team, Peter D. _______________________________________________ R-announce at r-project.org mailing list https://stat.ethz.ch/mailman/listinfo/r-announce