On Tue, Oct 10, 2017 at 12:27 PM, J. Bruce Fields <[email protected]> wrote: > > I just deleted redid the tag with the same name. (Does it cause a > problem that the old object is still sitting around somewhere with the > same name but nothing pointing at it? I'm assuming not.)
Thanks, that worked fine.
Linus
