fixed title in manifest to agree with title in README

Signed-off-by: Stephan Merz <[email protected]>
tlaplus · Mar 4, 2024 · f1a2371 · f1a2371
1 parent 3bf0d63
commit f1a2371
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/manifest.json b/manifest.json
@@ -5010,7 +5010,7 @@
     },
     {
       "path": "specifications/YoYo",
-      "title": "YoYo Leader Election Algorithm",
+      "title": "Yo-Yo Leader Election",
       "description": "Algorithm due to Nicola Santoro for leader election in a connected undirected network",
       "sources": ["https://research.nicola-santoro.com/DADA.html"],
       "authors": [