Merge pull request #1219 from jakobwenzel/objIterator
authorClifford Wolf <clifford@clifford.at>
Thu, 25 Jul 2019 15:19:11 +0000 (17:19 +0200)
committerGitHub <noreply@github.com>
Thu, 25 Jul 2019 15:19:11 +0000 (17:19 +0200)
made ObjectIterator comply with Iterator Interface


Trivial merge