Merge pull request #378 from pcercuei/libretro
authorTwinaphex <libretro@gmail.com>
Sat, 8 Feb 2020 16:25:34 +0000 (17:25 +0100)
committerGitHub <noreply@github.com>
Sat, 8 Feb 2020 16:25:34 +0000 (17:25 +0100)
Fix Linux build


Trivial merge