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
Thanks for the cleanup. Committed (with "git commit --author 'St...'" +
git push) as Rev. r10-6836-gfe86f537f010828b7f77ff459cef138e84071660
Tobias
On 2/25/20 1:40 AM, Steve Kargl wrote:
Dead code is probably not the right description.
Something like 'result that is not used' is better.
In eve
