OK, I debated on what to do about this bug. I decided on Won't Fix here, and filing a bug for you against synaptic. I'm still not sure that's quite the right thing to do, but maybe the synaptic folks will have a better idea than I.
OK, I debated on what to do about this bug. I decided on Won't Fix here, and filing a bug for you against synaptic. I'm still not sure that's quite the right thing to do, but maybe the synaptic folks will have a better idea than I.