Merge pull request #705 from pcercuei/lightrec-disable-threaded-compiler
authornotaz <notasas@gmail.com>
Thu, 3 Nov 2022 21:09:03 +0000 (23:09 +0200)
committerGitHub <noreply@github.com>
Thu, 3 Nov 2022 21:09:03 +0000 (23:09 +0200)
lightrec: Disable threaded compiler by default


Trivial merge