Bug#1020241: debian-policy: copyright-format: Formatting improvements/changes
Guillem Jover <guillem@debian.org> writes:
> No problem. Then in that case I guess I'll try to prepare/commit such
> revert patches for the tooling during this week or so.
For whatever it's worth, I'm not sure that I would bother, even though I
share with you the general desire to be correct about things like this.
While semantically such fields are incorrect according to the
specification, in practice I don't believe any format-aware reader exists.
The files are read by humans or by scripts that likely don't care about
this fine distinction. As evidence, I note that no one had previously
noticed that this formatting is technically incorrect.
I think it would be fine to leave them and have this be fixed by a future
format change, even if it takes a while.
--
Russ Allbery (rra@debian.org) <https://www.eyrie.org/~eagle/>
Reply to: