Skip to content

Make NavStateIndex trivially destructible

Bernhard Manfred Gruber requested to merge trivialdtor into master

This PR makes NavStateIndex trivially destructible by removing the unnecessary user defined destructor.

Merge request reports