A.32. Release 4.1.2

Release Date: 2020-05-21

A.32.1. Bug fixes