Automated checkin for release v0.1.13.