A.142. Release 3.5.25

Release Date: 2020-05-21

A.142.1. Bug fixes