Merge pull request #266206 from robert-manchester/dinghy
dinghy: 1.3.0 -> 1.3.2; fix build
authored by OTABI Tomoya and committed by GitHub 2 years ago eb2f8aa6 b2d85a6e