How long to release an updated Debian?
Hi,
I released a package recently that had some errors ('pid' package v0.0.1). So I fixed the errors and made another pull request which was merged with ros:master. It was merged about two weeks ago. However, if I do 'sudo apt-get install ros-indigo-pid', it still installs v0.0.1... the broken version. Have I done anything wrong or does it just take awhile to update the debians?
Some interesting tidbits... the build status page shows the right version (v0.0.3): http://www.ros.org/debbuild/indigo.html
And I got an email recently about "Jenkins build is back to normal." Not sure what that's all about. http://jenkins.ros.org/job/doc-indigo...
Thanks!