Processing commands for cont...@bugs.debian.org: > tags 791980 +pending +patch Bug #791980 [xenomai] New upstream available Added tag(s) pending. Bug #791980 [xenomai] New upstream available Added tag(s) patch. > tags 802420 +pending +patch Bug #802420 [src:xenomai] xenomai: FTBFS: dh_compress: gzip: . is a directory -- ignored Added tag(s) pending. Bug #802420 [src:xenomai] xenomai: FTBFS: dh_compress: gzip: . is a directory -- ignored Added tag(s) patch. > thanks Stopping processing here.
Please contact me if you need assistance. -- 791980: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=791980 802420: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=802420 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
