NEWS: update for 0.13.2