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