[Pan-users] Bug report.

[Marco Monteiro]

Greetings,
        I'm using pan 0.13.2. I use two news servers, on of which I name 'Old
server'. If I change the name of 'Old Server' to 'New Server' and later
try to switch to it (in the 'Servers' menu), pan asks me if I what to
retrive the list of groups for 'New server', (which have already been
retrived from that server but with the name 'Old server'). I consider
this to be a bug.

-- 
Marco Monteiro <address@hidden>