On 12/15/20 8:42 PM, Jeff Law wrote:
Arguably not a bugfix. But I think this is reasonable, even during stage3.
Thank you.
OK by me, but give Richi and Jakub a couple days if they object due to it not being a bugfix.
To be honest it's only removal of a dead code. Hope it's fine to install the patch now. I'm planning to work some changes related to options and I would appreciate the clean up to be installed now. That said, I'm going to push the changes. Martin
