Merge pull request #156 from pcercuei/fix-gte-divide
authornotaz <notasas@gmail.com>
Sun, 16 Feb 2020 18:03:39 +0000 (20:03 +0200)
committerGitHub <noreply@github.com>
Sun, 16 Feb 2020 18:03:39 +0000 (20:03 +0200)
Replace existing gte_divider with MAME's version


Trivial merge