daily for some time now. And while dinstall is an OLD name, its
recognized pretty well within Debian
Also add some more timing information
daily for some time now. And while dinstall is an OLD name, its
recognized pretty well within Debian
Also add some more timing information