Processed: Re: Bug#211802: APT::Default-Release is ignored
Processing commands for control@bugs.debian.org:
> severity 211802 wishlist
Bug#211802: APT::Default-Release is ignored
Severity set to `wishlist'.
> merge 211802 137433
Bug#137433: More explicit pinning (fail if not matched)
Bug#211802: APT::Default-Release is ignored
Bug#203816: /usr/bin/apt-get: maybe return warning if no sources for -t
Merged 137433 203816 211802.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: