A.95. Release 4.1.2

Release Date: 2020-05-21

A.95.1. Bug fixes