A.20. Release 4.0.7

Release Date: 2019-10-31

A.20.1. Bug fixes