update history, v0.13 release