Skip to content

Remove unused typedef

Marco Cattaneo requested to merge cherry-pick-bc15dd37 into hlt2016-patches

See merge request !425 (merged)

Merge request reports