Skip to content

Make NavStateIndex trivially destructible

Bernhard Manfred Gruber requested to merge (removed):trivialdtor into master

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

Merge request reports