f612b0b5b6fe1684edc0895986332f2697f56a21 81253 |
|
12-May-1998 |
brian |
PR:
Removed because an unmaintained list of known bugs is worse than useless.
We have all this in the bug database, it's maintained there, and providing
historical known_bug issues is counterproductive. |