Merge pull request #11179 from kraj/kraj/pu
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Mon, 17 Dec 2018 08:17:35 +0000 (09:17 +0100)
committerGitHub <noreply@github.com>
Mon, 17 Dec 2018 08:17:35 +0000 (09:17 +0100)
Fix issues found with gcc trunk


Trivial merge