Processing commands for control@bugs.debian.org: > retitle 54985 .so in a -dev package should be a file, not a symlink Bug#54985: debian-policy: handling of shared libraries Changed Bug title. > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)