[gnunet] branch master updated: -forgot dist

[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 0f07267b0 -forgot dist
0f07267b0 is described below

commit 0f07267b0523cb2f05687812717398bc9b0cf732
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Sun Dec 4 23:27:26 2022 +0900

    -forgot dist
---
 src/include/Makefile.am | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/include/Makefile.am b/src/include/Makefile.am
index 86bcb0ec1..6ece35851 100644
--- a/src/include/Makefile.am
+++ b/src/include/Makefile.am
@@ -51,6 +51,7 @@ gnunetinclude_HEADERS = \
   gnunet_dnsstub_lib.h \
   gnunet_dns_service.h \
   gnunet_error_codes.h \
+  gnunet_extractor_compat.h \
   gnunet_fragmentation_lib.h \
   gnunet_friends_lib.h \
   gnunet_fs_service.h \

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