Merge pull request #738 from pcercuei/update-lightrec-20230727
authornotaz <notasas@gmail.com>
Thu, 27 Jul 2023 16:52:06 +0000 (19:52 +0300)
committerGitHub <noreply@github.com>
Thu, 27 Jul 2023 16:52:06 +0000 (19:52 +0300)
Update to latest Lightrec 2023-07-27


Trivial merge