Skip to content

Fix double quoting of pkg-config commands#1834

Closed
rgrinberg wants to merge 1 commit intoocaml:masterfrom rgrinberg:fix-1833
+6-7

Commits

Commits on Feb 13, 2019