Commit 9a857559cd3a4bd030d56b28d878cdf81cd0825f

Kentaro Fukuchi 2018-06-06T17:00:56

Cherry-picked 4.0.2 release news manually.