On 30/12/2014 02:18, Vladimir Panteleev wrote:
I'm not sure using numbers to distinguish overloads is a good idea. Such links would break easily.
Note: that isn't part of Andrei's pull.Using numbers is the only workable way, other schemes would also break easily, probably moreso. I implemented it so that ditto overloads don't get a separate number, to avoid some breakage when adding dittos.
