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
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