Merge pull request #2180 from Xiretza/pyosys-override
authorwhitequark <whitequark@whitequark.org>
Sun, 21 Jun 2020 15:19:23 +0000 (15:19 +0000)
committerGitHub <noreply@github.com>
Sun, 21 Jun 2020 15:19:23 +0000 (15:19 +0000)
pyosys: Use C++11 override keyword for bindings


Trivial merge