Processed: Re: Bug#527026: a way to set default options
Processing commands for control@bugs.debian.org:
> # 460350 was specifically about --display-info, but
> # fixing one fixes the other
> merge 527026 460350
Bug#460350: [frontend] please support configuration option to make --display-info default
Bug#527026: a way to set default options
Merged 460350 527026.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: