synchronize with latest GANA

This commit is contained in:
Christian Grothoff 2020-06-21 11:58:00 +02:00
parent 33e7b1f662
commit a54757de66
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

@ -1 +1 @@
Subproject commit 29ed6e806f8645679edf7cfbedc0f6b26ab83dbb Subproject commit 417435b17b92fa7f58c5bae1d92388633b16881c