You're right about extra efforts. It still doesn't feel right to use copy-pasted code precisely because we can't easily answer to those questions about bugs we have in our outdated copy. Nevertheless, I see your point, thanks for feedback.
On 31.08.2017 13:40, Harald Welte wrote:
What kind of maintenance does something like git-version-gen require? What kind of bugs have we ever encountered in the copies that we keep in our repos?
Where is the *actual* benefit to us as developers and particularly to our users?