# properties will be filled by git-commit-id-plugin during maven build
80af19658f9a378f9fd878e737283726b7d397d3
2019-11-28T13:06:10+0000
Close mmap for ElevationProvider if not removed (#1809)
80af19658f9a378f9fd878e737283726b7d397d3
true