[gnunet] 09/09: Merge branch 'dev/vanni/build-info' into 'master'

[gnunet]

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

alessio-vanni pushed a commit to branch master
in repository gnunet.

commit ad9c10e6e660c45c8da630a7ea0f8c013a6661e2
Merge: 5df20a349 c7ed99ce8
Author: Alessio Vanni <vannilla@firemail.cc>
AuthorDate: Fri Sep 17 18:59:13 2021 +0200

    Merge branch 'dev/vanni/build-info' into 'master'

 contrib/Makefile.am      |  4 +++
 contrib/gnunet.m4        | 72 ++++++++++++++++++++++++++++++++++++++++++++++++
 doc/man/gnunet-config.1  | 25 ++++++++++++-----
 src/util/gnunet-config.c | 59 +++++++++++++++++++++++++++++++++++++++
 4 files changed, 153 insertions(+), 7 deletions(-)

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