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