On Tue, Aug 9, 2022 at 11:24 AM John Naylor
<john(dot)naylor(at)enterprisedb(dot)com> wrote:
>
> On Tue, Aug 9, 2022 at 8:58 AM Masahiko Sawada <sawada(dot)mshk(at)gmail(dot)com> wrote:
> > I found that there are two .c and .h files whose identification in the
> > header comment doesn't match its actual path.
>
> > The attached small patch fixes them.
>
> Pushed, thanks!
Thank you!
Regards,
--
Masahiko Sawada
EDB: https://www.enterprisedb.com/