Merge fixes to issues found while updating toolchain
commitf4a42661db08a6e215d28ae55d64213d298d7424
authorJiří Zárevúcky <zarevucky.jiri@gmail.com>
Sun, 22 Oct 2023 14:04:49 +0000 (22 16:04 +0200)
committerJiří Zárevúcky <zarevucky.jiri@gmail.com>
Sun, 22 Oct 2023 14:04:49 +0000 (22 16:04 +0200)
tree0ba3b9609530b95dd4578c4034f5f5b1d7e2234d
parentb2cbc0b5039c34634b6022ad118306f3983886ef
parentc63c2bb2c6b6ee0994323e41910367c9c146ec01
Merge fixes to issues found while updating toolchain