Mario Hüttel 24b70eec48 Merge branch 'master' into dev

2019-06-13 23:25:00 +02:00

..

gds-parser.c

Reclassify unhandled GDS records as information rather than a warning

2019-06-10 23:03:01 +02:00

gds-tree-checker.c

Fix #18: Segmentation fault due to a pointer pointing to already freed data.

2019-06-13 23:17:20 +02:00