On 10 May 2018 at 19:47, Paul Gevers wrote: | Hi Dir, | | On 10-05-18 14:04, Dirk Eddelbuettel wrote: | > Sorry about that. It must have been an old packaging oversight that only came | > to light now -- DBI never had a src/ directory and should have been 'all' all | > along. | > | > Any idea how we can correct that at the repo? Shall we file a bug with release.d.o? | | ftp.debian.org is the right pseudo-package for removal (of the 0.8-1 | packages) from unstable.
Ok, thanks, filed as #898354. Dirk -- http://dirk.eddelbuettel.com | @eddelbuettel | e...@debian.org