Summary of changes: 76e6697... sources and build setup for 0.12 (*) b3ccfcd... merge (*) 5fbc2d1... don't need the test patch anymore as 0.12 fixes the problem (*) (*) This commit already existed in another branch; no separate mail sent