Horton

Thread

Commits

  1. Update copyright year.

  2. Fix typos.

  1. Minor typos and copyright year slippage

    Thomas Munro <thomas.munro@gmail.com> — 2019-05-23T01:28:45Z

    Hi,

Here are some tiny things I noticed in passing.

-- 
Thomas Munro
https://enterprisedb.com

  2. Re: Minor typos and copyright year slippage

    Michael Paquier <michael@paquier.xyz> — 2019-05-23T01:55:16Z

    On Thu, May 23, 2019 at 01:28:45PM +1200, Thomas Munro wrote:
> Here are some tiny things I noticed in passing.

Good catches.  And you have spotted all the blank spots for the
copyright notices.
--
Michael

  3. Re: Minor typos and copyright year slippage

    Thomas Munro <thomas.munro@gmail.com> — 2019-05-24T00:07:17Z

    On Thu, May 23, 2019 at 1:55 PM Michael Paquier <michael@paquier.xyz> wrote:
> On Thu, May 23, 2019 at 01:28:45PM +1200, Thomas Munro wrote:
> > Here are some tiny things I noticed in passing.
>
> Good catches.  And you have spotted all the blank spots for the
> copyright notices.

Thanks, pushed.  There are also a few 2018 copyright messages in .po
files but I understand that those are managed with a different
workflow.

-- 
Thomas Munro
https://enterprisedb.com

  4. Re: Minor typos and copyright year slippage

    Tom Lane <tgl@sss.pgh.pa.us> — 2019-05-24T02:25:45Z

    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