Processing commands for cont...@bugs.debian.org: > forwarded 772233 https://gnunet.org/bugs/view.php?id=3588 Bug #772233 [gnunet] gnunet: bashism in /bin/sh script Set Bug forwarded-to-address to 'https://gnunet.org/bugs/view.php?id=3588'. > tags 772233 upstream Bug #772233 [gnunet] gnunet: bashism in /bin/sh script Added tag(s) upstream. > thanks Stopping processing here.
Please contact me if you need assistance. -- 772233: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=772233 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
