4 Commits

Author	SHA1	Message	Date
Christian Grothoff	5fc1764db3	do not upgrade gana to master on bootstrap	2021-04-09 16:33:35 +02:00
Christian Grothoff	d72816cfde	fix #6431	2020-07-24 12:43:33 +02:00
Christian Grothoff	c8a370d911	make GANA update more compatible with incremental compilation (fixes #6431)	2020-07-22 21:27:16 +02:00
Christian Grothoff	d9e871b523	add helper script for updating GANA submodule	2020-07-21 18:25:04 +02:00