Vijay Pai ddf694cc62 Merge branch 'master' into wheezy il y a 9 ans
..
build 78222f7383 Enable -Wextra-semi on compilers that support it il y a 9 ans
core b9e927afcc Merge branch 'master' into wheezy il y a 9 ans
cpp ddf694cc62 Merge branch 'master' into wheezy il y a 9 ans
distrib 46f4a681d2 minor fixes il y a 9 ans