Release v4.1.2; see CHANGELOG for details.