On Mon, May 09, 2016 at 02:07:44PM +0200, Paolo Bonzini wrote: > > > 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). My employer also dates before the Berne convention, so no problem here. > Apart from this, I agree with the meat of the change. I didn't know > about the \newcounter{}[] syntax, hence my hack using \setcounter. I expect both the original and the improvement to be quite welcome, especially for people reading this on small form-factor devices! Thanx, Paul -- 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