On Tue, Feb 25, 2020 at 09:28:59AM +0100, Tobias Burnus wrote:
> Thanks for the cleanup. Committed (with "git commit --author 'St...'" + git
> push) as Rev. r10-6836-gfe86f537f010828b7f77ff459cef138e84071660
> 

Thanks.

-- 
Steve

Reply via email to