Fill a bug against devscripts then, not ubuntu-dev-tools. -- Should check-symbols be in devscripts? https://bugs.launchpad.net/bugs/161069 You received this bug notification because you are a member of MOTU, which is subscribed to ubuntu-dev-tools in ubuntu.