Processing commands for control@bugs.debian.org: > merge 169399 222553 Bug#169399: handling of additional documentation with doc-base Bug#222553: policy 11.5.3 refers to using the menu package to register docs Merged 169399 222553. > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)