From 1a3e221152c4325eeaeb0078be30d30e64efbb76 2015-04-03 00:41:22 From: Richard Fontana Date: 2015-04-03 00:41:22 Subject: [PATCH] Uncommented material on implied patent licenses and GPLv3 sec. 11 definition of "patent license", with added sentence noting final paragraph of sec. 11. --- diff --git a/gpl-lgpl.tex b/gpl-lgpl.tex index ec0d8ffd75691073ddefb4b9ece7c4ae5d1da583..580ad6f77c897afbfce3533e97d07c2e3560338b 100644 --- a/gpl-lgpl.tex +++ b/gpl-lgpl.tex @@ -3894,12 +3894,12 @@ agreement or commitment, however denominated, not to enforce a patent (such as an express permission to practice a patent or covenant not to sue for patent infringement)'' -% FIXME-LATER: I want to ask Fontana about this before adding it. - -% The definition does not include patent licenses that arise by -% implication or operation of law, because the third through fifth paragraphs -% of section 11 are specifically concerned with explicit promises that purport -% to be legally enforceable. +The definition does not include patent licenses that arise by +implication or operation of law, because the third through fifth paragraphs +of section 11 are specifically concerned with explicit promises that purport +to be legally enforceable. The final paragraph of section 11 explicitly +preserves the availability of patent licenses arising by implication or +operation of law. GPLv3~\S11\P5 is commonly called GPLv3's downstream shielding provision. It responds particularly to the problem of exclusive deals between patent