Processed: Re: Bug#157131: Bug#113525: Bug#157131: [PROPOSAL] Suggest to minimize optimization when DEB_BUILD_OPTIONS contains "debug"
Processing commands for control@bugs.debian.org:
> severity 113525 wishlist
Bug#113525: DEB_BUILD_OPTIONS=debug example in policy is unhelpful
Severity set to `wishlist'.
> merge 157131 113525
Bug#113525: DEB_BUILD_OPTIONS=debug example in policy is unhelpful
Bug#157131: [PROPOSAL] Suggest to minimize optimization when DEB_BUILD_OPTIONS contains "debug"
Merged 113525 157131.
> retitle 157131 [PROPOSAL] Rework DEB_BUILD_OPTIONS section
Bug#157131: [PROPOSAL] Suggest to minimize optimization when DEB_BUILD_OPTIONS contains "debug"
Changed Bug title.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: