Merge branch '1.13' into 1.13-hack