Toma Tabacu Tue, 06 Jun 2017 04:56:40 -0700
Thanks, Rainer. Committed as r248916. Thanks for suggesting a backport, Renlin.
Regards, Toma