Fix #8042: add forgotten Java constructor type params#8075
Merged
nicolasstucki merged 1 commit intoscala:masterfrom Jan 23, 2020
Merged
Fix #8042: add forgotten Java constructor type params#8075nicolasstucki merged 1 commit intoscala:masterfrom
nicolasstucki merged 1 commit intoscala:masterfrom