Re: with oids option not removed in pg_dumpall

Hi,

On 2019-05-23 16:26:38 +0300, Surafel Temesgen wrote:
> Thank you for applying
> 
> regards
> Surafel
> 
> On Thu, May 23, 2019 at 3:43 AM Michael Paquier  wrote:
> 
> > On Tue, May 21, 2019 at 05:24:57PM +0900, Michael Paquier wrote:
> > > Good catch.  Your cleanup looks correct to me.  Andres, perhaps you
> > > would prefer doing the cleanup yourself?
> >
> > As I am cleaning up the area for another issue, applied.

Thanks for finding and applying.

Greetings,

Andres Freund