Bumped v0.13.2. Updated HISTORY.