synchronize with latest GANA

This commit is contained in:
Christian Grothoff 2020-07-22 11:02:10 +02:00
parent d3a76ce2aa
commit 3934160eea
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

@ -1 +1 @@
Subproject commit 007b2a19f8d9bdf926aa584d85beb5bdac32bf9d
Subproject commit dd8c83b719c52dbc9659bc818872d68296f5f5d3