A.80. Release 4.1.2

Release Date: 2020-05-21

A.80.1. Bug fixes