]> source.dussan.org Git - aspectj.git/commitdiff
Merge pull request #2 from larsgrefer/feature/diamond-operator
authorAndy Clement <aclement@pivotal.io>
Thu, 13 Aug 2020 15:28:27 +0000 (08:28 -0700)
committerGitHub <noreply@github.com>
Thu, 13 Aug 2020 15:28:27 +0000 (08:28 -0700)
Use the diamond operator where possible


Trivial merge