On 07/03/2018 04:51 PM, Stafford Horne wrote:
> Richard, how do you usually remove these before your pr?  I suppose you have
> some kind of script?

No, I just edit the things by hand.


r~

Reply via email to