Merge pull request #591 from neheb/p
authorMoritz Warning <moritzwarning@web.de>
Wed, 30 Sep 2020 15:10:51 +0000 (17:10 +0200)
committerGitHub <noreply@github.com>
Wed, 30 Sep 2020 15:10:51 +0000 (17:10 +0200)
commit025f05fd42d1f2d75f522f7504235e2b3210184a
tree9cbf3a968b3bd3773772763a7a6a5e4d9f0950e3
parentef0fe6265378cb9529e1f95b3e28eead751daf14
parent587e2d8b9cef88afcc4e1f56e4d03474997f7021
Merge pull request #591 from neheb/p

prince: fix compilation with GCC 10