2.4.0 upgrade issue

[Clemens Lang]

Hi,

On Sat, Jan 28, 2017 at 11:01:06AM +1100, Joshua Root wrote:
> I guess we could modify this as part of the upgrade process? Or
> transparently map the old setting to the new like we do with
> portdbformat?

Yeah, I guess we should. The old URLs should really go away and we
should eventually discontinue them. We have the same situation for the
ports tree, though, where it might be harder to change due to mirrors.

-- 
Clemens