Comment 185 for bug 967091

You were right, of course. I should have run "quilt push -a" before checking the distcheck results.

> In any case, if it works for you and no one is actually expecting to use dist / distcheck from the Ubuntu package, then the difference is moot.

Still I'd prefer to have a proper patch for this, I'll change my branch and the debdiff according to your suggestions tomorrow.