applied your patch now as-is; let's think about it (if at all) on how to do it more 'properly' for when we're in the jessie+1 cycle. it doesn't make much difference anyway for now and it's more important to just get it done/working.
thanks, and thanks for the patience :) -- Address: Daniel Baumann, Donnerbuehlweg 3, CH-3012 Bern Email: daniel.baum...@progress-technologies.net Internet: http://people.progress-technologies.net/~daniel.baumann/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org