Could you please check this into 3.0.1, too?

[Tom Tromey]

>>>>> "Martin" == Martin Kahlert <martin.kahlert@infineon.com> writes:

Martin> PS: Has there been any progress in the implementation of the
Martin>     invocation API?

Nope.  Nobody is working on it.

Tom