From 6ba2ff285f101b620ff223aa28fdbc890916d3ff 2014-04-24 23:12:21
From: Martin Michlmayr <tbm@cyrius.com>
Date: 2014-04-24 23:12:21
Subject: [PATCH] Add missing label

---

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!