vjpai 1b47b12895 Merge remote-tracking branch 'upstream/master' 11 anni fa
..
build cf133f41f8 Make it possible to compile with gcc4.6 11 anni fa
compiler 40e8cbd1ee Fix bugs in Python code generator 11 anni fa
core 73509a5d53 Better port picker 11 anni fa
cpp 1b47b12895 Merge remote-tracking branch 'upstream/master' 11 anni fa