On 11/27/20 4:43 PM, Yuriy Skalko wrote: >> If it really isn't used, then go ahead. >> >> Riki > > Here is patch to remove it + another patches to review. #1, #4, and #5 are all fine. I think #3 is fine, too, but someone who knows more about that code than I do should have a look, too. I suspect #2 is fine, as well, but Pavel may want to weigh in. Riki