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
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