Bug#1102888: override: libpthreadpool0:libs/optional

[Simon McVittie <smcv@debian.org>]

Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: pthreadpool@packages.debian.org
Control: affects -1 + src:pthreadpool
User: ftp.debian.org@packages.debian.org
Usertags: override

libpthreadpool0 is currently in libdevel/optional, but it's a runtime 
shared library, so it should be in libs/optional.

Thanks,
    smcv