[Bug 156819] Re: deprecated option in worker.properties

[Andrea Veri]

Thanks for your report, Michele. I've just opened a bug in debian as
well, so maybe we can get this synced directly from there.

-- 
deprecated option in worker.properties
https://bugs.launchpad.net/bugs/156819
You received this bug notification because you are a member of Ubuntu
Sponsors for universe, which is a direct subscriber.