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

Reply via email to