synchronize with latest GANA

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

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