From 3ae9e18c5235594c1ffcf9018edc0611e67fe00c Mon Sep 17 00:00:00 2001
From: Seth Schoen <schoen@loyalty.org>
Date: Mon, 6 Nov 2023 22:26:51 -0800
Subject: [PATCH] Correct name of searchcode-server (as used on GitHub)

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

diff --git a/dosp-survey.ltx b/dosp-survey.ltx
index 0472118..cd262b6 100644
--- a/dosp-survey.ltx
+++ b/dosp-survey.ltx
@@ -379,7 +379,7 @@ Boyter proposed a ``GPL time bomb" (later renamed to simply
 AUG specifying a limited number of users within an
 organization.\footnote{See
 \otsurl{https://boyter.org/2016/08/gpl-time-bomb-interesting-approach-foss-licensing/}.}
-This approach was used for Boyter's ``searchcode" project\footnote{See
+This approach was used for Boyter's ``searchcode-server" project\footnote{See
 \otsurl{https://www.searchcode.com/}.}, but no new development has
 taken place on this codebase since 2020, so it should now be licensed
 under GPL v3.
-- 
GitLab