Merge pull request #513 from mubes/bios_linker
authorenjoy-digital <florent@enjoy-digital.fr>
Wed, 13 May 2020 05:52:37 +0000 (07:52 +0200)
committerGitHub <noreply@github.com>
Wed, 13 May 2020 05:52:37 +0000 (07:52 +0200)
Bios linker edits to prevent inappropriate optimisation


Trivial merge