diff --git a/gpl-lgpl.tex b/gpl-lgpl.tex index 98a686f5b63309afdc0841fe99bd5dd1cffba664..7d51c47dbd00330bdf185d4564000fe4caef9b61 100644 --- a/gpl-lgpl.tex +++ b/gpl-lgpl.tex @@ -3269,6 +3269,7 @@ between licensor and licensee under local law do not necessarily matter to the working of the license. \section{GPLv3~\S10: Explicit Downstream License} +\label{GPLv3s10} % FIXME-LATER: this is a punt: need more time to write!