You're right. That directory needs to be generated each time. Going for a merge instead, debdiff will follow soon. Thanks. I'm going to provide such patch to Debian too in order to require a sync in the future.
You're right. That directory needs to be generated each time.
Going for a merge instead, debdiff will follow soon. Thanks.
I'm going to provide such patch to Debian too in order to require a sync in the future.