Thank you for the patches, João. Given this bug is fairly low-priority (as it seems to be about the warning message only), I'll stage it together with the fixes for bug 1981103.
Thank you for the patches, João. Given this bug is fairly low-priority (as it seems to be about the warning message only), I'll stage it together with the fixes for bug 1981103.