Achim Gratz <strom...@nexgo.de> writes: > Robert said he removed the contrib stuff and things start to work for > him — apparently he's away for a few days so we may not hear from him > until he's back.
All right, thanks for the details! If I can reproduce the problem, I'll definitely ping Tom Tromey. Best, -- Bastien