@@ -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