I asked Seb at the time and since the diff on debian/* was just few lines, he said it was ok.
Then I noticed the clutter of the generated files, but in general should be something that is fine to go once release team is informed.
« Back to merge proposal
I asked Seb at the time and since the diff on debian/* was just few lines, he said it was ok.
Then I noticed the clutter of the generated files, but in general should be something that is fine to go once release team is informed.