Summary of changes: f5dad55... version 0.8.8 (*) 5865b09... Try to fix build (*) dbb379c... Typo (*) (*) This commit already existed in another branch; no separate mail sent