Florian> I would make it completely unavailable. Ok, I see. If gdb is the only remaining user, then IMO don't let it stand in the way of progress, particularly given what Jan said. Tom