Bumped v0.13.4. Updated HISTORY.md.