From: Edward Diener (eldiener_at_[hidden])
Date: 2020-11-18 10:55:33
Is there any possibility of merging 'develop' to 'master' for the random
library for the 1.75 release ? The 'master' branch has not been updated
for 2 years, or since the 1.70 release. While I am not claiming all
invaluable fixes I know my fix for Embarcadero C++ clang-based support
and another fix for correctly auto-linking random_device is among the
'develop' branch fixes which have never made it to the 'master' branch.