updated v9_12_0_patch, v9_12 and master (9.13).