On Mon, Jun 04, 2018 at 11:32:18PM -0400, Tom Lane wrote: > +1 for just renaming 2018-09 to 2018-07, if we can do that. We'll end > up postponing some entries back to -09, but that seems like less churn > than the other way.
Okay. If we tend toward this direction, I propose to do this switch in two days my time (Thursday afternoon in Tokyo) if there are no objections, so as anybody has hopefully time to argue back. -- Michael
signature.asc
Description: PGP signature