v0.12 to v0.13

When upgrading from v0.12 to v0.13, no special upgrade steps are required. Follow the regular upgrade process here.