chiark / gitweb /
CMake: Fix compilation with CMake>=3.13