Enrico Forestieri wrote:
> > Log:
> > Better fix for bug #5923. Now the macro name can be freely edited.
>
> Jürgen, this one and r30434 are candidates for branch.

OK, go ahead.

Jürgen

Reply via email to