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.