Merge pull request #9280 from yuwata/follow-ups-8849
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 13 Jun 2018 06:46:07 +0000 (08:46 +0200)
committerGitHub <noreply@github.com>
Wed, 13 Jun 2018 06:46:07 +0000 (08:46 +0200)
commit6f534ceb95dfd8a00065b7602df23be50b0cc734
treef2b0a3500a7a353474bed1cf551bd242d2aa78dc
parent73c718a9e5c288916136dae3d1b1a9cd2b04646b
parent87cbe069e6dbb669a1e90114e9f15d2f6c4b0ed1
Merge pull request #9280 from yuwata/follow-ups-8849

Several follow-ups for #8849