synchronize with latest GANA

This commit is contained in:
Christian Grothoff 2020-06-14 17:21:25 +02:00
parent a32a5ef25a
commit 6b85ad04fe
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

@ -1 +1 @@
Subproject commit 96c6015bc7119bc7533be9fe7031bfe4dceaaf78
Subproject commit 29ed6e806f8645679edf7cfbedc0f6b26ab83dbb