sync gana

This commit is contained in:
Christian Grothoff 2020-06-12 09:51:35 +02:00
parent b46b1e5fb2
commit c9d94bc9f2
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

@ -1 +1 @@
Subproject commit aa768cb434a57ecc283b30ff3894b63313841af1
Subproject commit 96c6015bc7119bc7533be9fe7031bfe4dceaaf78