Re: The unused_oids script should have a reminder to use the 8000-8999 OID range

[Peter Geoghegan]

On Fri, Aug 2, 2019 at 1:28 PM Julien Rouhaud <rjuju...@gmail.com> wrote:
> I'm fine with it!

Pushed a version with similar wording just now.

Thanks!
-- 
Peter Geoghegan