On 31/10/2016 04:38, Pavel Sanda wrote:
What about just: [SYMBOL: DESCRIPTION] ?
Otherwise looks straightforward and nonivasive, so I don't see reason why not 
put it into master.

pushed (with your suggestion, so no translation needed)
Pavel

PS: It would be more convenient if we keep posting patches to the list instead 
of web links.

got it, thanks!

    T.

Reply via email to