Merge pull request #835 from pcercuei/misc-fixes
authornotaz <notasas@gmail.com>
Thu, 30 May 2024 23:00:56 +0000 (02:00 +0300)
committerGitHub <noreply@github.com>
Thu, 30 May 2024 23:00:56 +0000 (02:00 +0300)
Misc fixes


Trivial merge