[gnunet] branch master updated: packaging: include gnunet-uri.desktop in Debian package

[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 0ea3761a5 packaging: include gnunet-uri.desktop in Debian package
0ea3761a5 is described below

commit 0ea3761a54747bf335523af0c2440a37a881c71b
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Thu Jan 12 14:07:39 2023 +0100

    packaging: include gnunet-uri.desktop in Debian package
---
 debian/gnunet.install | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/gnunet.install b/debian/gnunet.install
index d3160c6fb..1776032db 100644
--- a/debian/gnunet.install
+++ b/debian/gnunet.install
@@ -3,6 +3,7 @@ usr/bin/
 usr/lib/*/gnunet/libexec/gnunet-cmds-helper
 usr/lib/*/gnunet/
 usr/lib/*/*.so.*
+usr/share/applications/gnunet-uri.desktop
 usr/share/man/
 usr/share/info/
 usr/share/doc/gnunet/

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