4.0.2 (2018-04-25)

Overview of merged pull requests