Skip to content

extra ctor for Reduced

Latest
Compare
Choose a tag to compare
@rultor rultor released this 16 Nov 07:49
· 119 commits to master since this release

See #1669, release log:

Released by Rultor 2.0-SNAPSHOT, see build log