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.