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

[Julien Rouhaud]

On Mon, Aug 5, 2019 at 8:51 PM Peter Geoghegan <p...@bowt.ie> wrote:
>
> Pushed a version with similar wording just now.

Thanks!