Re: [HACKERS] SERIAL + PRIMARY KEY = redundant indexes

fwiw, there is this comment in the code:
* Note that this code does not currently look for all possible
redundant cases*  and either ignore or stop with warning. The create might fail
later when*  names for indices turn out to be duplicated, or a user might have
specified*  extra useless indices which might hurt performance. - thomas
1997-12-08

But I should (probably) be able to fix this particular case.
                       - Tom

-- 
Thomas Lockhart                lockhart@alumni.caltech.edu
South Pasadena, California