Closed pete4abw closed 3 years ago
I'm working on #15 again. I still think it's worthwhile.
That might be a wasted effort, as I tried to indicate in the bug, at least if your goal is to get it merged here.
Sure, I'll take a swing at it. Since #13 is a bug, and this PR is an enhancement, I'd keep them separate in case a distcheck fix is not obvious.
OK, I'll go ahead and merge this then, thanks.
Sure, I'll take a swing at it. Since #13 is a bug, and this PR is an enhancement, I'd keep them separate in case a distcheck fix is not obvious. I'm working on #15 again. I still think it's worthwhile.