[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[GNUnet-SVN] [gnunet] 10/14: Merge branch 'master' of ssh://gnunet.org/g
From: |
gnunet |
Subject: |
[GNUnet-SVN] [gnunet] 10/14: Merge branch 'master' of ssh://gnunet.org/gnunet |
Date: |
Sun, 17 Dec 2017 15:44:36 +0100 |
This is an automated email from the git hooks/post-receive script.
xrs pushed a commit to branch master
in repository gnunet.
commit 7b1a069924c8b17b91cfc0185db767bdd9969338
Merge: 84405db3a 90c803401
Author: xrs <address@hidden>
AuthorDate: Sun Dec 3 21:08:32 2017 +0100
Merge branch 'master' of ssh://gnunet.org/gnunet
src/cadet/gnunet-service-cadet_paths.c | 5 +++--
src/set/gnunet-service-set_union.c | 7 +++----
src/set/gnunet-service-set_union_strata_estimator.c | 6 ++----
3 files changed, 8 insertions(+), 10 deletions(-)
--
To stop receiving notification emails like this one, please contact
address@hidden
- [GNUnet-SVN] [gnunet] branch master updated (66eb04b76 -> 131ee7601), gnunet, 2017/12/17
- [GNUnet-SVN] [gnunet] 04/14: Merge branch 'master' of ssh://gnunet.org/gnunet, gnunet, 2017/12/17
- [GNUnet-SVN] [gnunet] 06/14: Merge branch 'master' of ssh://gnunet.org/gnunet, gnunet, 2017/12/17
- [GNUnet-SVN] [gnunet] 03/14: Merge branch 'master' of ssh://gnunet.org/gnunet, gnunet, 2017/12/17
- [GNUnet-SVN] [gnunet] 02/14: Merge branch 'master' of ssh://gnunet.org/gnunet, gnunet, 2017/12/17
- [GNUnet-SVN] [gnunet] 05/14: Merge branch 'master' of ssh://gnunet.org/gnunet, gnunet, 2017/12/17
- [GNUnet-SVN] [gnunet] 12/14: Merge branch 'master' of ssh://gnunet.org/gnunet, gnunet, 2017/12/17
- [GNUnet-SVN] [gnunet] 10/14: Merge branch 'master' of ssh://gnunet.org/gnunet,
gnunet <=
- [GNUnet-SVN] [gnunet] 01/14: Update AUTHORS, gnunet, 2017/12/17
- [GNUnet-SVN] [gnunet] 13/14: Merge branch 'master' of ssh://gnunet.org/gnunet, gnunet, 2017/12/17
- [GNUnet-SVN] [gnunet] 09/14: Merge branch 'master' of ssh://gnunet.org/gnunet, gnunet, 2017/12/17
- [GNUnet-SVN] [gnunet] 07/14: Merge branch 'master' of ssh://gnunet.org/gnunet, gnunet, 2017/12/17
- [GNUnet-SVN] [gnunet] 08/14: Merge branch 'master' of ssh://gnunet.org/gnunet, gnunet, 2017/12/17
- [GNUnet-SVN] [gnunet] 14/14: fix make clean, gnunet, 2017/12/17
- [GNUnet-SVN] [gnunet] 11/14: Merge branch 'master' of ssh://gnunet.org/gnunet, gnunet, 2017/12/17