On 12/19/2013 05:09 PM, Gaudenz Steinlin wrote: > I guess the bug is somewhere in the handling of the NO_SECTION parameter > to pkgos_inifile.
This is well possible. I'll have a deeper look. Thanks for taking the time to answer these emails. Thomas -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org