Changes

Summary

1. Add -D_GNU_SOURCE flag to CMake file (commit: ea7c246) (details)

Commit ea7c2460ed1bc3adaee822eb872cefaa5ae1d18d by Peter W. V. Tran-Jørgensen Add -D_GNU_SOURCE flag to CMake file (commit: ea7c246)
	c/vdmclibdist/src/main/ProjectCMakeLists.txt (diff)