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