simplify extra cflags management + report versions#1
Open
remicollet wants to merge 2 commits intocataphract:masterfrom
Open
simplify extra cflags management + report versions#1remicollet wants to merge 2 commits intocataphract:masterfrom
remicollet wants to merge 2 commits intocataphract:masterfrom