Skip to content

Avoid deprecated code_typet() constructor#2454

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:vs-code-typet
Jun 25, 2018

Commits

Commits on Jun 25, 2018