[lsd0003] branch master updated: fixes

[gnunet]

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

grothoff pushed a commit to branch master
in repository lsd0003.

The following commit(s) were added to refs/heads/master by this push:
     new d5ed370  fixes
d5ed370 is described below

commit d5ed370b23b09aa95094e15dd010aaf0bae40cce
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Mon Jun 14 14:28:59 2021 +0200

    fixes
---
 draft-summermatter-set-union.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml
index e2b41b9..e0ea02f 100644
--- a/draft-summermatter-set-union.xml
+++ b/draft-summermatter-set-union.xml
@@ -2272,7 +2272,7 @@ FUNCTION pack_counter(ibf, offset, count)
                     store = counter
                 ELSE
                     store = (store << counter_bytes) | counter
-
+                END IF
                 store_bits = store_bits + byte_len
                 byte_len = 0
                 BREAK

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