Re: pasted non-acceptable symbol

[Jean-Marc Lasgouttes]

Le 10/11/2016 à 10:19, Jean-Marc Lasgouttes a écrit :

So shall I apply it?

Yes, please.

Done in master at 6dfbab31. Richard, this is candidate for branch too,
since it leads to crashes.

Ping :) Richard, is this OK for branch?

JMarc