Thomas Munro <thomas.munro@gmail.com> writes:
> Thanks, pushed. There are also a few 2018 copyright messages in .po
> files but I understand that those are managed with a different
> workflow.
Right. I'm not sure what the copyright-maintenance process is for the
.po files, but in any case the .po files in our gitmaster repo are
downstream from where that would need to happen. There's no point
in editing them here.
regards, tom lane