[gnunet] branch master updated: -remove duplicate comment

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 6f88c1008 -remove duplicate comment
6f88c1008 is described below

commit 6f88c10084ec4966410d555cdfc90eb8607031eb
Author: Christian Grothoff <grothoff@gnunet.org>
AuthorDate: Fri Jul 22 11:32:56 2022 +0200

    -remove duplicate comment
---
 src/util/os_priority.c | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/src/util/os_priority.c b/src/util/os_priority.c
index 843b4734c..2ed49b5aa 100644
--- a/src/util/os_priority.c
+++ b/src/util/os_priority.c
@@ -213,15 +213,9 @@ GNUNET_OS_process_current ()
 }
 
 
-/**
- * Sends a signal to the process
- *
- * @param proc pointer to process structure
- * @param sig signal
- * @return 0 on success, -1 on error
- */
 int
-GNUNET_OS_process_kill (struct GNUNET_OS_Process *proc, int sig)
+GNUNET_OS_process_kill (struct GNUNET_OS_Process *proc,
+                        int sig)
 {
   int ret;
   char csig;

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.