Jean-Pierre Chrétien wrote: > In the meantime, attached is a version of the patch enhanced with a warning > about this.
OK. I committed this to branch. Does trunk need the same? Jürgen
Jean-Pierre Chrétien wrote: > In the meantime, attached is a version of the patch enhanced with a warning > about this.
OK. I committed this to branch. Does trunk need the same? Jürgen