A.20. Release 4.0.2

Release Date: 2018-11-22

A.20.1. Bug fixes