Closed MichaelGrupp closed 6 years ago
See here: https://github.com/magazino/cartographer_magazino/issues/9
Fixes https://github.com/googlecartographer/cartographer/issues/1012
See here: https://github.com/magazino/cartographer_magazino/issues/9
Fixes https://github.com/googlecartographer/cartographer/issues/1012