A.71. Release 3.5.12

Release Date: 2018-01-09

A.71.1. Bug fixes