Hi, I am not quite sure about what should be done with this bug...
The APT Howto version 1.8.11 had a section on "How to keep a mixed system", and mentioned stuff like Pin-Priority. However, this was removed: it now is "smaller and simpler". I guess the FAQ shouldn't mention this stuff either: it's only suitable for very advanced users; these are not the intended audience for the FAQ. Comments welcome. Bye, Joost
signature.asc
Description: Digital signature