Skip to content

Merge branch 'add-missing-virtual-destructor' into 'master'

oliver.sander_at_tu-dresden.de requested to merge cherry-pick-32c94c10 into releases/2.6-1

Give ObstacleRestrictor an empty virtual destructor

See merge request !37 (merged)

(cherry picked from commit 32c94c10)

1a872912 Give ObstacleRestrictor an empty virtual destructor

Merge request reports