debinstall #3941 EDF repository has wrong paths [resolved]

The Packages and Sources files for EDF extranet have wrong paths.

This is because debinstall expects a repo path ending with a '/' on the command line. Todo: fix this to accept both cases.

prioritynormal
typebug
done in0.5.0
load0.250
load left0.000
closed by<not specified>