New GCC Runtime Library Exception: amendment proposal

[Robert Dewar]

Joern Rennecke wrote:

> 1. Grant of Additional Permission.
> 
> You have permission to propagate a work of Target Code formed by  
> combining the Runtime Library with Independent Modules, even if such  
> propagation would otherwise violate the terms of GPLv3, provided that  
> all Target Code was eithwe generated by Eligible Compilation  
> Processes. You may then convey such a combination under terms of your  
> choice, consistent with the licensing of the Independent Modules.

I must say i do not like the language "violate the terms of GPLv3".
This is a license, you can't violate the terms, since the license
does not force you to do anything, it merely permits you to do
certain things.

I think it would be much clearer to say "otherwise not be covered by
the terms of GPLv3"