Updated release doc for 5.1.2