On 16/02/16 11:37, Thibaut Paumard wrote:
> This discussion getting off-topic for this bug, should we move
> somewhere else?

Yes please.

Emilio

Reply via email to