Hi Rapha?l, At http://www.wolffelaar.nl/~jeroen/pts.bugs.txt you can find fresh (pushed from spohr, directly regenerated) bug information for the PTS. New bugsummaries are moved over, so you should never get only a part of the file.
Andreas Barth told me he knew where you fetched the bugstuff from, and wgetted the file to there on master, but it seems he's mistaken as the PTS pages have been updated, but still don't have fres bug information. If you wget the aforementioned URL before you regenerate the PTS pages, it should work again. Regards, --Jeroen -- Jeroen van Wolffelaar [EMAIL PROTECTED] (also for Jabber & MSN; ICQ: 33944357) http://Jeroen.A-Eskwadraat.nl
