Re: make lint

From: Jamie Landeg-Jones <jamie_at_catflap.org>
Date: Sun, 11 Jun 2023 01:53:16 UTC
> LINT files are no longer created. Someone needs to prod the doc. team.

Ooops, should have looked more closely at the email address I was replying to!