On Wed 2020-07-15 13:11:14, Miroslav Benes wrote:> Petr, would you agree to revert -flive-patching.Yes, I agree.Best Regards,Petr