[z3-five] Obsolete branches and tags

[Philipp von Weitershausen]

Jan-Wijbrand Kolman wrote:
> Philipp von Weitershausen wrote:
> 
>> - branch/jw-calling_view_fails: Still a problem, J-W?
> 
> 
> Uhm, I didn't check this on recent versions of Five. I will try to at a 
> later stage. If you can keep this arround for just a little while longer...

Sure, n.p. Just wanted to check what the status of the problem is.

Philipp