Merge pull request #702 from pcercuei/update-lightrec-20221029
authornotaz <notasas@gmail.com>
Tue, 1 Nov 2022 20:52:49 +0000 (22:52 +0200)
committerGitHub <noreply@github.com>
Tue, 1 Nov 2022 20:52:49 +0000 (22:52 +0200)
git subrepo pull --force deps/lightrec


Trivial merge