Re: [patch] require tipa

[Juergen Spitzmueller]

Jean-Marc Lasgouttes wrote:
> Juergen> at the moment tipa has to be loaded manually. OK for trunk?
>
> Seems reasonable.

Even for branch perhaps?

Jürgen