Skip to content

Make renamedt inherit from underlyingt#4454

Merged
tautschnig merged 1 commit intodiffblue:developfrom
romainbrenguier:renamedt-inheritance
Mar 29, 2019

Commits

Commits on Mar 29, 2019