Richard W.M. Jones
|
c3dd0983c7
|
Add hacky workaround for C++ flags problem, see:
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/M2VM5DNB7HSAJIFDGT4WAIZDA5JPE5KM/
Seems to be either a dune or C++ bug of some sort.
|
2020-04-22 12:58:05 +01:00 |
|