Bumped v0.11.3. Updated HISTORY.