Summary of changes: c225fde... 0.5.65 (*) e4bc4d5... 0.5.70 (*) 00cfcc2... Removing the patch for GCC 4.7 (*) (*) This commit already existed in another branch; no separate mail sent