A.20. Release 3.5.12

Release Date: 2018-01-09

A.20.1. Bug fixes