synchronize with latest GANA

This commit is contained in:
Christian Grothoff 2020-07-22 11:07:07 +02:00
parent 66906b5cb0
commit 566ab47542
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

@ -1 +1 @@
Subproject commit c25ff685740d61784acbdb89fca908e02f192efc
Subproject commit 1b6eacc58bdd71efb5afc476207efcd952f959b1