A.72. Release 3.7.1

Release Date: 2018-01-09

A.72.1. Bug fixes