A.54. Release 3.7.12

Release Date: 2019-10-31

A.54.1. Bug fixes