Skip to content

Resolve warnings reported by -Wnon-virtual-dtor#611

Merged
vgvassilev merged 1 commit intoroot-project:masterfrom
davidlt:virt-dtor
Jun 14, 2017
Merged

Resolve warnings reported by -Wnon-virtual-dtor#611
vgvassilev merged 1 commit intoroot-project:masterfrom
davidlt:virt-dtor

Commits

Commits on Jun 6, 2017