[gnunet] branch master updated: dead

[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 23f8671e0 dead
     new 3522008df Merge branch 'master' of git+ssh://gnunet.org/gnunet
23f8671e0 is described below

commit 23f8671e09a80bf722c3268e8d477b5ce5e3d76a
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Thu Nov 12 17:49:29 2020 +0100

    dead
---
 src/include/gnunet_protocols.h | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/src/include/gnunet_protocols.h b/src/include/gnunet_protocols.h
index d9821ffe8..e9b81a654 100644
--- a/src/include/gnunet_protocols.h
+++ b/src/include/gnunet_protocols.h
@@ -1753,11 +1753,6 @@ extern "C" {
  */
 #define GNUNET_MESSAGE_TYPE_SETU_P2P_ELEMENTS 566
 
-/**
- * Requests for the elements with the given hashes.
- */
-#define GNUNET_MESSAGE_TYPE_SETU_P2P_ELEMENT_REQUESTS 567
-
 /**
  * Set operation is done.
  */
@@ -1969,11 +1964,6 @@ extern "C" {
  */
 #define GNUNET_MESSAGE_TYPE_SET_P2P_ELEMENTS 584
 
-/**
- * Requests for the elements with the given hashes.
- */
-#define GNUNET_MESSAGE_TYPE_SET_P2P_ELEMENT_REQUESTS 585
-
 /**
  * Set operation is done.
  */

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