On Tue, Jan 24, 2017 at 09:52:35AM -0500, Konrad Rzeszutek Wilk wrote: > On Mon, Jan 23, 2017 at 03:43:32PM -0800, Matthew Garrett wrote: > > + * GRUB is free software: you can redistribute it and/or modify > > + * it under the terms of the GNU General Public License as published by > > + * the Free Software Foundation, either version 3 of the License, or > > + * (at your option) any later version. > > So what is your option here (see the 'at your option').
This language indicates that it's at the option of the person redistributing or modifying it whether they do so under the terms of version 3 or of some later version. Matthew is not required to pick one. Also: <cjwatson@niejwein ~/src/gnu/grub2/git/grub (master=)>$ git grep 'at your option' | wc -l 1412 -- Colin Watson [cjwat...@ubuntu.com] _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
