[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet-scheme] 36/42: doc/concurrency: Add missing label for lost-and-f
From: |
gnunet |
Subject: |
[gnunet-scheme] 36/42: doc/concurrency: Add missing label for lost-and-found. |
Date: |
Sat, 10 Sep 2022 19:08:29 +0200 |
This is an automated email from the git hooks/post-receive script.
maxime-devos pushed a commit to branch master
in repository gnunet-scheme.
commit 6c53e3a39f5f4287a5d36c63c38f0a2a5b415b23
Author: Maxime Devos <maximedevos@telenet.be>
AuthorDate: Sat Sep 10 14:08:44 2022 +0200
doc/concurrency: Add missing label for lost-and-found.
---
doc/concurrency.tm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/concurrency.tm b/doc/concurrency.tm
index ab662e5..9148742 100644
--- a/doc/concurrency.tm
+++ b/doc/concurrency.tm
@@ -47,7 +47,7 @@
lost again. However, it will only be found the first time it became lost.
<item*|lost-and-found>Each found object is put inside their corresponding
- <dfn|lost-and-found><index|lost-and-found>, if any.
+ <dfn|lost-and-found><index|lost-and-found><label|lost-and-found>, if any.
</description>
<\explain>
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.
- [gnunet-scheme] 17/42: cadet/client: Use <loop> for various objects where possible., (continued)
- [gnunet-scheme] 17/42: cadet/client: Use <loop> for various objects where possible., gnunet, 2022/09/10
- [gnunet-scheme] 27/42: cadet/client: Simplify more., gnunet, 2022/09/10
- [gnunet-scheme] 23/42: dht/client: Re-indent., gnunet, 2022/09/10
- [gnunet-scheme] 22/42: nse/indent: Re-indent., gnunet, 2022/09/10
- [gnunet-scheme] 26/42: server: Inline single-use server->loop-arguments., gnunet, 2022/09/10
- [gnunet-scheme] 24/42: cadet/client: Re-indent., gnunet, 2022/09/10
- [gnunet-scheme] 33/42: server: Document 'make-loop'., gnunet, 2022/09/10
- [gnunet-scheme] 30/42: doc/service-communication: Document the control loop., gnunet, 2022/09/10
- [gnunet-scheme] 18/42: cadet/client: Rewrite with run-loop., gnunet, 2022/09/10
- [gnunet-scheme] 32/42: server: Add type checking to make-loop., gnunet, 2022/09/10
- [gnunet-scheme] 36/42: doc/concurrency: Add missing label for lost-and-found.,
gnunet <=
- [gnunet-scheme] 39/42: server: Add type checking., gnunet, 2022/09/10
- [gnunet-scheme] 35/42: doc/service-communication: Document #:control-message-handler., gnunet, 2022/09/10
- [gnunet-scheme] 37/42: doc/service-communication: Document run-loop., gnunet, 2022/09/10
- [gnunet-scheme] 34/42: server: Rename control -> continue., gnunet, 2022/09/10
- [gnunet-scheme] 38/42: doc/service-communication: Add procedures to the index., gnunet, 2022/09/10
- [gnunet-scheme] 40/42: doc/service-communication: Add missing argument of make-disconnect!., gnunet, 2022/09/10
- [gnunet-scheme] 41/42: NEWS: Update., gnunet, 2022/09/10
- [gnunet-scheme] 42/42: Merge branch 'server-unification', gnunet, 2022/09/10