A.58. Release 3.7.12

Release Date: 2019-10-31

A.58.1. Bug fixes