Merge pull request #12664 from neheb/dum
authorRosen Penev <redacted>
Wed, 1 Jul 2020 21:31:52 +0000 (14:31 -0700)
committerGitHub <redacted>
Wed, 1 Jul 2020 21:31:52 +0000 (14:31 -0700)
dump1900: fix compilation with GCC10


Trivial merge
git clone https://git.99rst.org/PROJECT