Gilles Peskine 0a968f7c7f Fix the shared library build with CMake
Fix an error in the earlier merge.
2020-03-23 17:55:32 +01:00
..
2020-03-19 14:23:45 +01:00
2020-02-18 10:31:29 +01:00