On 24/04/2016 03:08, Akira Yokosawa wrote:
> This commit also updates the copyright notices in the header,
> including the name of Paolo Bonzini who authored the commit
> mentioned above.
Not sure what's Paul's policy about copyright and authors in files (the
"Copyright (C)" stuff dates back to before the US joined the Berne
Convention; and authorship is recorded well in git logs).
Apart from this, I agree with the meat of the change. I didn't know
about the \newcounter{}[] syntax, hence my hack using \setcounter.
Thanks,
Paolo
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
