5 ms·

D’oh! Of course you’re correct. I skipped over “any”, and focused on “patch”. Sorry about that.

• kragen 3y ago
  no harm done :)