Processing commands for cont...@bugs.debian.org: > severity 543792 normal Bug #543792 [crosshurd] initial setup : crosshurd failed with apt-get error due to missing gpg key Severity set to 'normal' from 'grave'
> severity 439179 normal Bug #439179 [crosshurd] crosshurd: doesn't override /etc/apt/sources.list.d Severity set to 'normal' from 'minor' > merge 439179 543792 Bug#439179: crosshurd: doesn't override /etc/apt/sources.list.d Bug#543792: initial setup : crosshurd failed with apt-get error due to missing gpg key Merged 439179 543792. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
