Hi Ludo and others, Here's a patch to add some missing lint test cases. I confirmed that all the lint tests pass. I also confirmed that the new " patches: same file name -> no warnings" test case fails (as expected) when commit 21887021b9acf60157b1b0a39c16f2ec6498021b is reverted, so the new tests do seem to be working as intended. Thank you for encouraging me to add these test cases, Ludo! -- Chris