[z3-five] Re: Cleaning up branches

[Philipp von Weitershausen]

Philipp von Weitershausen wrote:
> Ok, so I'm keeping dc-traversal-issue and regebro-addform-directive. 
> What about menu_refactoring?
> 
>> I haven't done any work on dc-traversal; perhaps someone more
>> knowledgable about this can merge it into the trunk with, I hope, a 
>> test. (as long as it's not the hack involving checking the caller that 
>> we discussed before, but I believe we moved beyond that). The 
>> traversal bug (docstring error instead of not found) still exists on 
>> Five-trunk.
> 
> Since the branch was created by Sidnei I think, if anybody, he should 
> probably do it. He would also be the most knowledgeable person.

Great job merging that branch, Sidnei! I think we all agree that a 
solution in this matter was overdue :).

So I guess that makes dc-traversal-issue obsolete as well?

Philipp