[gnunet] branch master updated: - duplicate case, Fixes #9310

[gnunet]

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

martin-schanzenbach pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 8c07dcdad - duplicate case, Fixes #9310
8c07dcdad is described below

commit 8c07dcdad929c69fb6c60694ace5aa4ee3856a04
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Sun Nov 3 21:03:16 2024 +0100

    - duplicate case, Fixes #9310
---
 src/lib/util/disk.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/lib/util/disk.c b/src/lib/util/disk.c
index 5ac02722c..846c73cfa 100644
--- a/src/lib/util/disk.c
+++ b/src/lib/util/disk.c
@@ -1017,7 +1017,6 @@ GNUNET_DISK_glob (const char *glob_pattern,
 
   if ( (NULL != strrchr (glob_pattern, '+')) ||
        (NULL != strrchr (glob_pattern, '[')) ||
-       (NULL != strrchr (glob_pattern, '+')) ||
        (NULL != strrchr (glob_pattern, '~')) )
   {
     LOG (GNUNET_ERROR_TYPE_ERROR,

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