Bo Peng wrote:
We thought you were just talking about normal labels. So the problem is that the mechanism that changes duplicate labels on copying isn't working with the labels that go with listings child docs. That's what we need to fix, since we don't want duplicate labels.Yep, I remember this was on my todo list sometime ago :-)Your TODO list must be long. :-)
Too long for a sane mind, pretty worthless as it is by now :-) Abdel.
