Bumped v0.11.5. Updated HISTORY.