I have updated unused_oids so it now shows the max system oid in the
display, rather than just a dash,

	1 - 10
	100 - 101
	754
	842
	949
	1288 - 1295
	1597 - 1599
	1608 - 1610
	1619 - 1639
	1644 - 1699
	1768 - 16383

The last line used to be:

	1768 -

which was obviously confusing me and probably others.

-- 
  Bruce Momjian                        |  http://www.op.net/~candle
  maillist@candle.pha.pa.us            |  (610) 853-3000
  +  If your life is a hard drive,     |  830 Blythe Avenue
  +  Christ can be your backup.        |  Drexel Hill, Pennsylvania 19026

Thu, 31 Dec 1998 15:21:53 -0500 (EST)
Bruce Momjian <maillist@candle.pha.pa.us>
Unused_oids