Re: [PATCH] Add fwconfig command

[Colin Watson]

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:

  <address@hidden ~/src/gnu/grub2/git/grub (master=)>$ git grep 'at your 
option' | wc -l
  1412

-- 
Colin Watson                                       address@hidden