I think it's worth keeping 4.1.2_r1 working on master, since so many people use snapshots...