[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet] 02/05: Merge branch 'master' of git+ssh://gnunet.org/gnunet
From: |
gnunet |
Subject: |
[gnunet] 02/05: Merge branch 'master' of git+ssh://gnunet.org/gnunet |
Date: |
Sat, 05 Dec 2020 10:47:07 +0100 |
This is an automated email from the git hooks/post-receive script.
grothoff pushed a commit to branch master
in repository gnunet.
commit 795ba5243bfcb595cd3b3066ae22f59c686c48bb
Merge: 72068a707 d2e10ef67
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Sun Nov 22 21:17:32 2020 +0100
Merge branch 'master' of git+ssh://gnunet.org/gnunet
src/rps/gnunet-rps-profiler.c | 2 ++
1 file changed, 2 insertions(+)
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.