Bumped 0.13.3. Updated HISTORY.