From 2294176f5778b462396e55d7cfb3f7ea19f344ec Mon Sep 17 00:00:00 2001
From: Seth Schoen <schoen@loyalty.org>
Date: Tue, 7 Nov 2023 12:40:14 -0800
Subject: [PATCH] Note that Karl should figure out the tilde thing

---
 dosp-survey.ltx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dosp-survey.ltx b/dosp-survey.ltx
index a898fa2..db3365b 100644
--- a/dosp-survey.ltx
+++ b/dosp-survey.ltx
@@ -480,6 +480,7 @@ permissive and reciprocal open source licensing models.\footnote{See,
 for example, the presentation at
 \otsurl{https://tahoe-lafs.org/\textasciitilde{}zooko/tgppl.pdf}.}
 % TODO: Get rid of the {} that shows up in the link target
+% Karl TODO!
 
 Since both the start and end-state licenses of the BOSL are themselves
 open source, we do not regard the BOSL as a form of delayed open-source
-- 
GitLab