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
