]> source.dussan.org Git - javassist.git/commitdiff
Merge pull request #2 from jboss-javassist/master
authorNing Zhang <ning.n.zhang@ericsson.com>
Tue, 4 Dec 2018 16:36:51 +0000 (17:36 +0100)
committerGitHub <noreply@github.com>
Tue, 4 Dec 2018 16:36:51 +0000 (17:36 +0100)
Sync with master /jboss-javassist/javassist/.


Trivial merge