]> source.dussan.org Git - dcevm.git/commitdiff
Merge pull request #140 from przemelek/classRedefinedCount-fix
authorPrzemysław Rumik <przemelek@gmail.com>
Sat, 24 Mar 2018 16:00:11 +0000 (17:00 +0100)
committerGitHub <noreply@github.com>
Sat, 24 Mar 2018 16:00:11 +0000 (17:00 +0100)
fix for proper incrementation of classRedefinedCount…


Trivial merge