Hmm, overlooked this patch. No, this is more than enough.

On 19.11.2020 23:52, Cyrill Gorcunov wrote:
> Wait, Sergey, I dropped it already or you mean something else?
> (Sorry for toppost)
>
> @@ -29,7 +29,6 @@ include_files = {
>  exclude_files = {
>      "build/**/*.lua",
>      -- Third-party source code.
> -    "src/box/lua/serpent.lua",
>      "test-run/**/*.lua",
>      "test/**/*.lua",
>      "third_party/**/*.lua",
>
> On Thu, Nov 19, 2020 at 3:05 PM Cyrill Gorcunov <gorcunov@gmail.com 
> <mailto:gorcunov@gmail.com>> wrote:
>
>     On Thu, Nov 19, 2020 at 02:55:14PM +0300, Sergey Bronnikov wrote:
>     > Hi, Cyrill!
>     >
>     > thanks for the patch! I propose to get rid of exclude for serpent in
>     > .luacheckrc too.
>
>     Yeah, need to drop it from there as well, I'll update, thanks!
>