[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Processed: housecleaning



Processing commands for control@bugs.debian.org:

> severity 623707 normal
Bug #623707 [developers-reference] Outdated section on l10n
Severity set to 'normal' from 'wishlist'
> severity 807441 normal
Bug #807441 [src:developers-reference] rename procedure out of date
Severity set to 'normal' from 'wishlist'
> severity 904246 normal
Bug #904246 [developers-reference] developers-reference: section 6.4 should recommend command -v, not which
Severity set to 'normal' from 'wishlist'
> severity 930565 minor
Bug #930565 [developers-reference] dev-ref: should use distro-info instead of hardcoding version numbers
Severity set to 'minor' from 'wishlist'
> forcemerge 774843 499167
Bug #774843 [developers-reference] developers-reference: unified section collecting all conventions about version number formats
Bug #499167 [developers-reference] developers-reference: please explain deb/debian/ds suffixes in versions
Marked as found in versions developers-reference/3.4.12.
Marked as found in versions developers-reference/3.4.12.
Bug #774843 [developers-reference] developers-reference: unified section collecting all conventions about version number formats
Marked as found in versions developers-reference/3.4.0.
Bug #560287 [developers-reference] debian-policy: document dfsg, ds and debian suffix of version numbers when repackaging
Merged 499167 560287 774843
> affect 589478 by 499167
Bug #589478 [developers-reference] document best practices for date-based and snapshot versions
Added indication that 589478 affects by and 499167
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
499167: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=499167
560287: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=560287
589478: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589478
623707: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=623707
774843: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=774843
807441: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=807441
904246: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=904246
930565: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=930565
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems


Reply to: