Processing commands for control@bugs.debian.org: > merge 54985 83669 Bug#54985: .so in a -dev package should be a file, not a symlink Bug#83669: [PROPOSAL] Handling if shared libraries Merged 54985 83669. > -- Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)