Merge pull request #12664 from neheb/dum
authorRosen Penev <rosenp@gmail.com>
Wed, 1 Jul 2020 21:31:52 +0000 (14:31 -0700)
committerGitHub <noreply@github.com>
Wed, 1 Jul 2020 21:31:52 +0000 (14:31 -0700)
commit961016a84f027534a350e6d6b773c7c934d8d129
tree04ce90221e0f213db9bec3d3c61753316a2bd449
parent22b695d045318222a1c47bf81761b58cac68d682
parent59d7475aa643b3e86b9e5abe57ea302650c4794d
Merge pull request #12664 from neheb/dum

dump1900: fix compilation with GCC10